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
>
> PR web/85578
> * doc/install.texi2html: Replace _002d with
On Tue, 1 May 2018, Jakub Jelinek wrote:
> On Tue, May 01, 2018 at 09:27:01AM +0200, Jakub Jelinek wrote:
> > PR web/85578 complains about broken links in INSTALL/specific.html inside of
> > the rc tarballs, I've looked at past releases and at least the releases I've
> > checked (4.7.0, 6.1, 7.1,
On Tue, May 01, 2018 at 09:27:01AM +0200, Jakub Jelinek wrote:
> PR web/85578 complains about broken links in INSTALL/specific.html inside of
> the rc tarballs, I've looked at past releases and at least the releases I've
> checked (4.7.0, 6.1, 7.1, 7.3, 8.1rc2) all have the broken links,
> e.g.
> a
