diff mbox series

Fix HTML headers and titles for 'Installing GCC' pages (PR web/87933).

Message ID 79f7935b-6e35-e639-cd60-0648a278fb84@suse.cz
State New
Headers show
Series Fix HTML headers and titles for 'Installing GCC' pages (PR web/87933). | expand

Commit Message

Martin Liška June 5, 2019, 9:09 a.m. UTC 
Hi.

The patch fixes wrong titles/header in 'Installing GCC' pages.

Tested with make html.
Ready for trunk?

Martin

gcc/ChangeLog:

2019-06-05  Martin Liska  <mliska@suse.cz>

	PR web/87933
	* doc/install.texi: Fix HTML headers and
	titles for 'Installing GCC' pages.
---
 gcc/doc/install.texi | 1 -
 1 file changed, 1 deletion(-)

Comments

Jeff Law June 5, 2019, 10:07 p.m. UTC | #1 
On 6/5/19 3:09 AM, Martin Liška wrote:
> Hi.
> 
> The patch fixes wrong titles/header in 'Installing GCC' pages.
> 
> Tested with make html.
> Ready for trunk?
> 
> Martin
> 
> gcc/ChangeLog:
> 
> 2019-06-05  Martin Liska  <mliska@suse.cz>
> 
> 	PR web/87933
> 	* doc/install.texi: Fix HTML headers and
> 	titles for 'Installing GCC' pages.
> ---
>  gcc/doc/install.texi | 1 -
>  1 file changed, 1 deletion(-)
> 
> 
OK
jeff
diff mbox series

Patch

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