2007-05-05  Richard Guenther  <rguenther@suse.de>

	* doc/install.texi (--enable-checking): Mention different
	default for stage1.
	(--enable-stage1-checking): Document.

Index: doc/install.texi
===================================================================
--- doc/install.texi	(revision 124461)
+++ doc/install.texi	(working copy)
@@ -1249,6 +1249,13 @@ assertions will make the compiler and ru
 increase the risk of undetected internal errors causing wrong code to be
 generated.
 
+@item --disable-stage1-checking
+@itemx --enable-stage1-checking[=@var{all}]
+Regardless of what is specified with @samp{--enable-checking} the
+stage1 compiler is built with checking enabled.  For small or slow
+systems you can disable checking for stage1 using
+@samp{--disable-stage1-checking}.
+
 @item --enable-coverage
 @itemx --enable-coverage=@var{level}
 With this option, the compiler is built to collect self coverage
Index: doc/install.texi
===================================================================
--- doc/install.texi	(revision 124470)
+++ doc/install.texi	(working copy)
@@ -1230,7 +1230,8 @@ consistency checks of the requested comp
 generated code, but adds error checking within the compiler.  This will
 slow down the compiler and may only work properly if you are building
 the compiler with GCC@.  This is @samp{yes} by default when building
-from SVN or snapshots, but @samp{release} for releases.  More control
+from SVN or snapshots, but @samp{release} for releases.  The default
+for building the stage1 compiler is @samp{yes}.  More control
 over the checks may be had by specifying @var{list}.  The categories of
 checks available are @samp{yes} (most common checks
 @samp{assert,misc,tree,gc,rtlflag,runtime}), @samp{no} (no checks at
@@ -1249,6 +1250,18 @@ assertions will make the compiler and ru
 increase the risk of undetected internal errors causing wrong code to be
 generated.
 
+@item --enable-stage1-checking
+@itemx --enable-stage1-checking=@var{list}
+If no @option{--enable-checking} option is specified the stage1
+compiler will be built with @samp{yes} checking enabled, otherwise
+the stage1 checking flags are the same as specified by
+@option{--enable-checking}.  To build the stage1 compiler with
+different checking options use @option{--enable-stage1-checking}.
+The list of checking options is the same as for @option{--enable-checking}.
+If your system is too slow or too small to bootstrap a released compiler
+with checking for stage1 enabled, you can use @samp{--disable-stage1-checking}
+to disable checking for the stage1 compiler.
+
 @item --enable-coverage
 @itemx --enable-coverage=@var{level}
 With this option, the compiler is built to collect self coverage