doc: No longer generate old.html
authorGerald Pfeifer <gerald@pfeifer.com>
Sun, 24 Oct 2021 09:48:29 +0000 (11:48 +0200)
committerGerald Pfeifer <gerald@pfeifer.com>
Fri, 5 Nov 2021 12:06:03 +0000 (13:06 +0100)
commit84cbbb0a163c1570e51185a6b58d1ea806b6ef24
tree8abcb6e24d53d6c42b9464af31e367e6eb8bbd27
parent14c7041a1f00ef4ee9a036e0b369c97646db5b5c
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