From c45c8424de8773ee4305a7932fb2a3ee878ea56a Mon Sep 17 00:00:00 2001 From: Martin Liska Date: Thu, 6 Jun 2019 09:20:16 +0200 Subject: [PATCH] Fix HTML headers and titles for 'Installing GCC' pages (PR web/87933). 2019-06-06 Martin Liska PR web/87933 * doc/install.texi: Fix HTML headers and titles for 'Installing GCC' pages. From-SVN: r271988 --- gcc/ChangeLog | 6 ++++++ gcc/doc/install.texi | 1 - 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 27cff9a1bc9..d260c5d8b78 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2019-06-06 Martin Liska + + PR web/87933 + * doc/install.texi: Fix HTML headers and + titles for 'Installing GCC' pages. + 2019-06-06 Martin Liska * ipa-icf-gimple.h (dump_message_1): Remove. diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi index e5a7d83bfd2..29d047004fd 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 -- 2.30.2