diff options
| author | Ralf Wildenhues <Ralf.Wildenhues@gmx.de> | 2008-02-23 14:04:12 +0000 |
|---|---|---|
| committer | Ralf Wildenhues <rwild@gcc.gnu.org> | 2008-02-23 14:04:12 +0000 |
| commit | 73c17ad2c832470c7313551258e1c8e2ee0c8bb7 (patch) | |
| tree | 81ecf2995706ac94b35068ac64a3827f4fe7350a /gcc/doc | |
| parent | 02d3074007cd890cf82ab84f5d69071b2aada7e9 (diff) | |
| download | gcc-73c17ad2c832470c7313551258e1c8e2ee0c8bb7.zip gcc-73c17ad2c832470c7313551258e1c8e2ee0c8bb7.tar.gz gcc-73c17ad2c832470c7313551258e1c8e2ee0c8bb7.tar.bz2 | |
re PR other/31569 (Install's web page has 0.n when it should be either 4.n or 5.n)
gcc/:
PR documentation/31569
* doc/install.texi2html: Use makeinfo --no-number-sections.
From-SVN: r132570
Diffstat (limited to 'gcc/doc')
| -rwxr-xr-x | gcc/doc/install.texi2html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/doc/install.texi2html b/gcc/doc/install.texi2html index 60d670b..c545266 100755 --- a/gcc/doc/install.texi2html +++ b/gcc/doc/install.texi2html @@ -5,7 +5,7 @@ # $SOURCEDIR and $DESTDIR, resp., refer to the directory containing # the texinfo source and the directory to put the HTML version in. # -# (C) 2001, 2003, 2006 Free Software Foundation +# (C) 2001, 2003, 2006, 2008 Free Software Foundation # Originally by Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>, June 2001. # # This script is Free Software, and it can be copied, distributed and @@ -40,7 +40,7 @@ for x in index.html specific.html prerequisites.html download.html configure.htm do define=`echo $x | sed -e 's/\.//g'` echo "define = $define" - $MAKEINFO -I $SOURCEDIR -I $SOURCEDIR/include $SOURCEDIR/install.texi --html --no-split -D$define -o$DESTDIR/$x + $MAKEINFO --no-number-sections -I $SOURCEDIR -I $SOURCEDIR/include $SOURCEDIR/install.texi --html --no-split -D$define -o$DESTDIR/$x done rm $SOURCEDIR/include/gcc-vers.texi |