doc: No longer generate old.html

Commit 431d26e1dd 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.
This commit is contained in:
Gerald Pfeifer 2021-10-24 11:48:29 +02:00
parent 14c7041a1f
commit 84cbbb0a16

View File

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