--disable-bootstrap is not documented at all on http://gcc.gnu.org/install/configure.html
Confirmed.
hmm, this might not that important any more since "make all-gcc" works, maybe documenting more of what works and what does is more important than documenting --disable-bootstrap.
no, we should definitely document it.
Created attachment 11511 [details] patch to document the option
Subject: Bug 25453 Author: bonzini Date: Thu Jun 1 12:28:11 2006 New Revision: 114305 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=114305 Log: 2006-06-01 Paolo Bonzini <bonzini@gnu.org> PR 25453 * doc/install.texi: Document --enable-bootstrap and --disable-bootstrap. Modified: trunk/gcc/ChangeLog trunk/gcc/doc/install.texi
documentation committed.