Dead link http://gcc.gnu.org/install/build.html on http://gcc.gnu.org/install/

[Ben Elliston]

Hi.

> I was trying to look up some information about the installation of
> gcc on http://gcc.gnu.org/install/ and found out the the "Building"
> link (http://gcc.gnu.org/install/build.html) was dead. I checked out
> wwwdocs from CVS (as suggested) but I could not find the appropriate
> files anywhere... Am I missing something in the CVS tree, or did the
> website source move to the SVN?

Good find, thanks.  For install/build.html, for instance:

revision 1.26
date: 2001/05/23 06:02:05;  author: gerald;  state: dead;  lines: +0 -0
Remove all install documentation in HTML format, as this now resides in
gcc/doc/install.texi.

Gerald removed these files for the reason shown above.  However I'm
not sure what we should do about it.  Perhaps provide a small page
explaining where to get installation docs.

Cheers, Ben