https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85578
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Author: jakub Date: Fri Jun 22 21:20:02 2018 New Revision: 261960 URL: https://gcc.gnu.org/viewcvs?rev=261960&root=gcc&view=rev Log: Backported from mainline 2018-05-01 Jakub Jelinek <ja...@redhat.com> PR web/85578 * doc/install.texi2html: Replace _002d with - and _002a with * in generated html files using sed. Modified: branches/gcc-7-branch/gcc/ChangeLog branches/gcc-7-branch/gcc/doc/install.texi2html