link failed in online doc

[Joseph S. Myers]

On Fri, 7 Jun 2002, Toon Moene wrote:

> It's a bug in the way the pages are setup.  If you start from the item
> "Manual" in the left column of our home page (http://gcc.gnu.org) you
> should be OK.

Since makeinfo --html now generates stable file names, we could get rid of
those copies of parts of the manual and replace them by redirects, like we
did with thanks.html.

-- 
Joseph S. Myers
jsm28@cam.ac.uk