Fix HTML headers and titles for 'Installing GCC' pages (PR web/87933).
authorMartin Liska <mliska@suse.cz>
Thu, 6 Jun 2019 07:20:16 +0000 (09:20 +0200)
committerMartin Liska <marxin@gcc.gnu.org>
Thu, 6 Jun 2019 07:20:16 +0000 (07:20 +0000)
2019-06-06  Martin Liska  <mliska@suse.cz>

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

From-SVN: r271988

gcc/ChangeLog
gcc/doc/install.texi

index 27cff9a1bc92c5080db65efd89cdd73c3ecc0b45..d260c5d8b780883b05d1ba5756a63405f620a767 100644 (file)
@@ -1,3 +1,9 @@
+2019-06-06  Martin Liska  <mliska@suse.cz>
+
+       PR web/87933
+       * doc/install.texi: Fix HTML headers and
+       titles for 'Installing GCC' pages.
+
 2019-06-06  Martin Liska  <mliska@suse.cz>
 
        * ipa-icf-gimple.h (dump_message_1): Remove.
index e5a7d83bfd29477a81df1b06199d4facc09132e0..29d047004fd6206d56bd683bb57a5901ebbd170d 100644 (file)
@@ -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