From 84cbbb0a163c1570e51185a6b58d1ea806b6ef24 Mon Sep 17 00:00:00 2001 From: Gerald Pfeifer Date: Sun, 24 Oct 2021 11:48:29 +0200 Subject: [PATCH] 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. --- gcc/doc/install.texi2html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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" -- 2.47.2