===================================================================
@@ -138,8 +138,7 @@
@item profiledbootstrap
Builds a compiler with profiling feedback information. In this case,
the second and third stages are named @samp{profile} and @samp{feedback},
-respectively. For more information, see
-@ref{Building,,Building with profile feedback,gccinstall,Installing GCC}.
+respectively. For more information, see the installation instructions.
@item restrap
Restart a bootstrap, so that everything that was not built with