[Bug web/87933] Bad headers and titles for:

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87933

--- Comment #8 from Martin Liška <marxin at gcc dot gnu.org> ---
Using:

diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index be9b07b5d23..b82594bd28e 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -2,7 +2,6 @@
 @c @ifnothtml
 @c %**start of header
 @setfilename gccinstall.info
-@settitle Installing GCC
 @setchapternewpage odd
 @c %**end of header
 @c @end ifnothtml

fixes the problem with HTML pages.

Btw. what does it mean:

\input texinfo.tex    @c -*-texinfo-*-
@c @ifnothtml <----- this
@c %**start of header
@setfilename gccinstall.info
@settitle Installing GCC
@setchapternewpage odd
@c %**end of header
@c @end ifnothtml

?