[committed] doc: No longer generate old.html

[Gerald Pfeifer <gerald@pfeifer.com>]

Jonathan pointed this out to me while remove a link from the 
installation documentation to the no longer existing old.html 
page.

At first I was puzzled, but a bit of debugging made me realize
where the (now) empty old.html page still was coming from.

Fixed thusly, and I'll add some code to detect such situations
should they ever occur in the future.


Gerald


commit 4bd4138141330030b18960c204ebc1787cdaddf3
Author: Gerald Pfeifer <gerald@pfeifer.com>
Date:   Sun Oct 24 11:48:29 2021 +0200

    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 09bbbc425cd..001a869d0ea 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"