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 ?
