Re: [PATCH] Fix HTML headers and titles for 'Installing GCC' pages (PR web/87933).

2019-06-05 Thread Jeff Law
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 > > PR web/87933 > * doc/install.texi: Fix HTML headers and >

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

2019-06-05 Thread Martin Liška
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 PR web/87933 * doc/install.texi: Fix HTML headers and titles for 'Installing GCC' pages. --- gcc/doc/install.tex