diff options
| author | Martin Liska <mliska@suse.cz> | 2019-06-06 09:20:16 +0200 |
|---|---|---|
| committer | Martin Liska <marxin@gcc.gnu.org> | 2019-06-06 07:20:16 +0000 |
| commit | c45c8424de8773ee4305a7932fb2a3ee878ea56a (patch) | |
| tree | efe3580868c240fc7dc917b9b4783ed1f6a04d78 /gcc/doc | |
| parent | ee137b400cc9dd69dc1d803e6b70c5e69769eb25 (diff) | |
| download | gcc-c45c8424de8773ee4305a7932fb2a3ee878ea56a.zip gcc-c45c8424de8773ee4305a7932fb2a3ee878ea56a.tar.gz gcc-c45c8424de8773ee4305a7932fb2a3ee878ea56a.tar.bz2 | |
Fix HTML headers and titles for 'Installing GCC' pages (PR web/87933).
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
Diffstat (limited to 'gcc/doc')
| -rw-r--r-- | gcc/doc/install.texi | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi index e5a7d83..29d0470 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 |