On Thu, Oct 21, 2004 at 09:43:56PM +0000, Joseph S. Myers wrote: > On Thu, 21 Oct 2004, Aldy Hernandez wrote: > > > * config.gcc: Add support for --enable-e500_double. > > configure options need documenting in install.texi. Hmmmm.... where exactly? I see no precedence there, but I may not be looking hard enough. Aldy