[PATCH] Add targets to doc/makefile.texi

[Phil Edwards <phil at jaj dot com>]

I couldn't rememeber the exact effects of "make restrap", and was annoyed
to find that it wasn't described in the "list of Makefile targets" section
of the manual.  While I was in there, I trolled through the makefiles
looking for other interesting useful targets that hadn't been documented,
but found only one.

Passes "make doc".  Okay?


2003-07-17  Phil Edwards  <pme@gcc.gnu.org>

	* doc/makefile.texi (restrap, profiledbootstrap):  Document targets.


Index: doc/makefile.texi
===================================================================
RCS file: /home/pme/Repositories/GCC/gcc/gcc/doc/makefile.texi,v
retrieving revision 1.4
diff -u -3 -p -r1.4 makefile.texi
--- doc/makefile.texi	8 Apr 2003 06:39:14 -0000	1.4
+++ doc/makefile.texi	17 Jul 2003 20:59:39 -0000
@@ -83,6 +83,10 @@ of which stage you're on or what invocat
 @item cleanstrap
 Removed everything (@samp{make clean}) and rebuilds (@samp{make bootstrap}).
 
+@item restrap
+Like @code{cleanstrap}, except that the process starts from the first
+stage build, instead of from scratch.
+
 @item stage@var{N} (@var{N} = 1@dots{}4)
 For each stage, moves the appropriate files to the @file{stage@var{N}}
 subdirectory.
@@ -99,4 +103,16 @@ Compares the results of stages 2 and 3. 
 is running properly, since it should produce the same object files
 regardless of how it itself was compiled.
 
+@item profiledbootstrap
+Builds a compiler with profiling feedback information.  For more
+information, see
+@ifnothtml
+@ref{Building,,Building with profile feedback,gccinstall,Installing GCC}.
+@end ifnothtml
+@ifhtml
+@uref{build.html,,Building with profile feedback}.
+@end ifhtml
+This is actually a target in the top-level directory, which then
+recurses into the @file{gcc} subdirectory multiple times.
+
 @end table