[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 #9 from Martin Liška <marxin at gcc dot gnu.org> ---
Author: marxin
Date: Thu Jun  6 07:20:16 2019
New Revision: 271988

URL: https://gcc.gnu.org/viewcvs?rev=271988&root=gcc&view=rev
Log:
Fix HTML headers and titles for 'Installing GCC' pages (PR web/87933).

2019-06-06  Martin Liska  <mli...@suse.cz>

        PR web/87933
        * doc/install.texi: Fix HTML headers and
        titles for 'Installing GCC' pages.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/doc/install.texi