On Tue, 1 May 2018, Jakub Jelinek wrote: > Now in patch form, briefly tested with a hacked gcc_release script (so that > it works even with uncommitted install.texi2html). Ok for trunk/8.1? > > 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.
Looks great, thank you, Jakub! Gerald
