This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug other/12821] dead link on onlinedocs/gccint/Top-Level.html
- From: "jsm at polyomino dot org dot uk" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 30 Oct 2003 10:12:05 -0000
- Subject: [Bug other/12821] dead link on onlinedocs/gccint/Top-Level.html
- References: <20031029084321.12821.jv244@cam.ac.uk>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
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.