Ability to disable URL mangling in makeinfo 4.7?

[Eli Zaretskii]

> Date: Wed, 15 Sep 2004 08:06:35 +0200
> From: Stepan Kasal <kasal@ucw.cz>
> Cc: gcc@gcc.gnu.org, gerald@pfeifer.com, bug-texinfo@gnu.org,
> 	Karl Berry <karl@freefriends.org>
> 
> 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.