Re: Ability to disable URL mangling in makeinfo 4.7?

[Patrice Dumas]

>    ID and NAME tokens must begin with a letter ([A-Za-z]) and may be
>    followed by any number of letters, digits ([0-9]), hyphens ("-"),
>    underscores ("_"), colons (":"), and periods (".").
> 
> That intersection is strictly:
> 
>     [A-Za-z] for first char, followed by [-_:.A-Za-z0-9]

Oups... I didn't read the spec very well it seems. I said that : and . 
weren't allowed, but I believe this is not so wrong as it is better avoiding
them in file names, but I didn't knew that the first char had to be 
[A-Za-z] and that is problematic. Therefore something like 
@node --option
cuurently leads to something like
_002d_002doption
and this is still not valid... Arg... Moreover I don't have a solution ready
and whatever it is, it won't be backward compatible...

Pat