This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [WWWDOCS] Bad links on http://gcc.gnu.org/install/specific.html
- From: Gerald Pfeifer <gerald at pfeifer dot com>
- To: "Joseph S. Myers" <jsm at polyomino dot org dot uk>
- Cc: Dave Korn <dk at artimi dot com>, gcc at gcc dot gnu dot org
- Date: Fri, 6 Aug 2004 10:16:16 +0200 (CEST)
- Subject: Re: [WWWDOCS] Bad links on http://gcc.gnu.org/install/specific.html
- References: <NUTMEGwb7XFj6KDxw5I0000093b@NUTMEG.CAM.ARTIMI.COM><Pine.LNX.4.58.0407191432060.23590@digraph.polyomino.org.uk>
On Mon, 19 Jul 2004, Joseph S. Myers wrote:
On Mon, 19 Jul 2004, Dave Korn wrote:
Originally the anchors had the same names as the target triples, asterisks
and all. Presumably someone decided this was a potential problem (URL
encoding, anybody?) and that they should be changed to something safe. So
the asterisks are replaced by 002a in the internal anchors.
Texinfo 4.7 changed the algorithm for anchor and node naming (for node
naming at least, this guarantees future stability of names by encoding
special characters rather than lossily changing them in a way causing
problems if two node names only differ in some special characters).
Still, for most (if not all) practical purposes including ours, this I
really consider this a mistake. I uglifies URLs without any advantage.
It really needs to change to use ordinary makeinfo split-file HTML output
without any hardcoded HTML in it (or any @uref for internal links) at all.
It would be great could we find a volunteer to help working on this,
though even in that case I'd really prefer a solution with reatains
the old anchors (without that annoying recoding).
Gerald