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 <mli...@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(-)
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
