"Mohan" == Mohan Embar <gnustuff@thisiscool.com> writes:
Mohan> I didn't know where to put it and it ended up concluding
Mohan> that the proper place was gcc/doc/install.texi, but
Mohan> there are so many libgcj configure options that aren't
Mohan> docunmented there that it isn't even funny. (Of course,
Mohan> two wrongs don't make a right....)
Yeah, if you're up to it, write a patch for all the missing options
for install.texi. I think that's where this belongs: I assume
install.texi is meant to have an exhaustive list, and that's
presumably where people will start when trying to build gcc.