diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 09b4ad7a667..54965929ef6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2017-02-10 Gerald Pfeifer + + * doc/makefile.texi (profiledbootstrap): Refer to the + installation instructions only in textual form. + 2017-02-10 Aaron Sawdey PR target/79295 diff --git a/gcc/doc/makefile.texi b/gcc/doc/makefile.texi index 6573d51a785..86d1eeb5606 100644 --- a/gcc/doc/makefile.texi +++ b/gcc/doc/makefile.texi @@ -138,8 +138,7 @@ regardless of how it itself was compiled. @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