[WWWDOCS] Bad links on http://gcc.gnu.org/install/specific.html

[Gerald Pfeifer]

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