diff options
| author | Gerald Pfeifer <gerald@pfeifer.com> | 2017-02-10 22:06:01 +0000 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@gcc.gnu.org> | 2017-02-10 22:06:01 +0000 |
| commit | eb533b4e2657143dde440a4a20d9ea7bed71bf2c (patch) | |
| tree | dc2ec65121346f9f86ab63ce471e212e1810f9cb /gcc/doc/makefile.texi | |
| parent | c1170481c98158b1f7f10e0488eeaf972284385a (diff) | |
| download | gcc-eb533b4e2657143dde440a4a20d9ea7bed71bf2c.zip gcc-eb533b4e2657143dde440a4a20d9ea7bed71bf2c.tar.gz gcc-eb533b4e2657143dde440a4a20d9ea7bed71bf2c.tar.bz2 | |
makefile.texi (profiledbootstrap): Refer to the installation instructions only in textual form.
* doc/makefile.texi (profiledbootstrap): Refer to the
installation instructions only in textual form.
From-SVN: r245348
Diffstat (limited to 'gcc/doc/makefile.texi')
| -rw-r--r-- | gcc/doc/makefile.texi | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/doc/makefile.texi b/gcc/doc/makefile.texi index 6573d51..86d1eeb 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 |