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 <ger...@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"
