[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 #7 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to Andreas Schwab from comment #5)
> Nope, the first one is unconditional.

You're right:
...
define = indexhtml
/home/marxin/Programming/gcc/gcc/doc/install.texi:14: warning: multiple
@settitle
define = specifichtml
/home/marxin/Programming/gcc/gcc/doc/install.texi:17: warning: multiple
@settitle
...