[Bug other/12821] dead link on onlinedocs/gccint/Top-Level.html

[jsm at polyomino dot org dot uk]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12821



------- Additional Comments From jsm at polyomino dot org dot uk  2003-10-30 10:11 -------
Subject: Re:  dead link on onlinedocs/gccint/Top-Level.html

On Thu, 30 Oct 2003, pinskia at gcc dot gnu dot org wrote:

> Since this file is generated from sourcebuild.texi, this is not a web
> problem but a documentation problem.

No, it's a web problem.  Texinfo manuals can legitimately use Texinfo
links to other manuals in the Texinfo universe, not just those in GCC.  
We should find online copies (generated with makeinfo --html, one page per
node) of the manuals linked to (if necessary get the relevant project
maintainers - in this case GNU binutils - to put them up) and have
appropriate redirects in onlinedocs.