PR/25453: document --disable-bootstrap

[Gerald Pfeifer]

Hi Paolo,

On Thu, 25 May 2006, Paolo Bonzini wrote:
> Here it is, long overdue.
>
> 2006-05-25  Paolo Bonzini  <bonzini@gnu.org>
>
>       * doc/install.texi: Document --disable-bootsrtap and
>       --enable-bootstrap.

I had hoped for one of the build machinery maintainers to approve
this, but since you To:ed me in addition to the list, the new
documentation in the patch reads fine to my eyes, and I assume
you well know what your code is doing ;-), let's go ahead with
this patch.

Ok.

Thanks,
Gerald