Old installation docs

[Jonathan Wakely]

On Wed, 20 Oct 2021 at 19:44, Gerald Pfeifer wrote:

> On Wed, 20 Oct 2021, Joseph Myers wrote:
> > Those should have been removed in GCC commit
> > 431d26e1dd18c1146d3d4dcd3b45a3b04f7f7d59, it seems that forgot to remove
> > the link in the HTML version.
>
> I'm surprised my link checker has not found this broken link; I'll need
> to look into that.
>

Do you only check links in the pages generated from wwwdocs? Because this
one comes from install.texi in the main sources.



> Thanks for spotting Jonathan, and absolutely agreed with Joseph: yank it
> (or I'll do, if you prefer).
>

I've done it, and refreshed the online copy (which would happen anyway
overnight, but I wanted to check it was OK).