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

[joseph at codesourcery dot com]

------- Comment #8 from joseph at codesourcery dot com  2008-12-08 21:00 -------
Subject: Re:  dead link on onlinedocs/gccint/Top-Level.html

On Mon, 8 Dec 2008, steven at gcc dot gnu dot org wrote:

> Well, I can't even find this paragraph you want to reference.

The reference is to a whole manual (etc/configure.texi in the src 
repository), not to one paragraph.

> And I was under the impression that there was a kind-of "you broke it, you fix
> it rule" with GCC bugs.  Am I wrong or does this just not apply to you?

There is no such rule beyond the limited reversion rule in develop.html.

As explained, this is a missing website feature, not a GCC bug.  The link 
in the manual is a correct link in the global namespace for Texinfo 
manuals.


-- 


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