From: Gerald Pfeifer <gerald@pfeifer.com>
Date: Sun, 24 Oct 2021 09:48:29 +0000 (+0200)
Subject: doc: No longer generate old.html
X-Git-Tag: basepoints/gcc-13~3378
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=84cbbb0a163c1570e51185a6b58d1ea806b6ef24;p=thirdparty%2Fgcc.git

doc: No longer generate old.html

Commit 431d26e1dd18c1146d3d4dcd3b45a3b04f7f7d59 removed
doc/install-old.texi, alas we still tried to generate the
associated web page old.html - which then turned out empty.

Simplify remove this from the list of pages to be generated.

gcc:
	* doc/install.texi2html: Do not generate old.html any longer.
---

diff --git a/gcc/doc/install.texi2html b/gcc/doc/install.texi2html
index 09bbbc425cdc..001a869d0ea2 100755
--- a/gcc/doc/install.texi2html
+++ b/gcc/doc/install.texi2html
@@ -46,9 +46,9 @@ fi
    echo "@set srcdir $SOURCEDIR/.."
 ) > $DESTDIR/gcc-vers.texi
 
-for x in index.html specific.html prerequisites.html download.html configure.html \
-         build.html test.html finalinstall.html binaries.html old.html \
-         gfdl.html
+for x in index.html specific.html prerequisites.html download.html \
+         configure.html build.html test.html finalinstall.html \
+         binaries.html gfdl.html
 do
     define=`echo $x | sed -e 's/\.//g'`
     echo "define = $define"