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

Martin Liška mliska@suse.cz
Wed Jun 5 09:09:00 GMT 2019


The patch fixes wrong titles/header in 'Installing GCC' pages.

Tested with make html.
Ready for trunk?



2019-06-05  Martin Liska  <mliska@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(-)

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Fix-HTML-headers-and-titles-for-Installing-GCC-pages.patch
Type: text/x-patch
Size: 324 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20190605/b83d71ac/attachment.bin>

More information about the Gcc-patches mailing list