Re: Ability to disable URL mangling in makeinfo 4.7?

[Eli Zaretskii]

> Date: Wed, 15 Sep 2004 08:06:35 +0200
> From: Stepan Kasal <address@hidden>
> Cc: address@hidden, address@hidden, address@hidden,
>       Karl Berry <address@hidden>
> 
> 2) Mangling of the node names for anchor names.
> 
> Yes, it seems you are right, anchor names can contain any characters.

Don't we create file names for anchors as well, at least under some
combination of command-line switches (I simply don't remember)?  If we
do, we cannot use any characters that we don't allow in mangled node
names.