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

[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  <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(-)
> 
> 
OK
jeff