projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ee137b4) | patch
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)
commitc45c8424de8773ee4305a7932fb2a3ee878ea56a
treeefe3580868c240fc7dc917b9b4783ed1f6a04d78tree
parentee137b400cc9dd69dc1d803e6b70c5e69769eb25commit | diff
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
gcc/ChangeLog diff | blob | history
gcc/doc/install.texi diff | blob | history