Re: Texinfo -> HTML issues

[Eli Zaretskii]

> From: Aubrey Jaffer <address@hidden>
> Date: Sat,  7 Aug 2004 11:34:18 -0400 (EDT)
> 
>  | >  "@" ==> ""
>  | 
>  | You mean, just delete @ as if it were not there?
> 
> A rule for "@" in node-names is not necessary; it seems to be an
> illegal character in a node-name.  texinfo.txi does not have "@" in
> any node names.

That would make "foobar", "foo@@bar", and "address@hidden" map to the same
file, which I think is no good.

The fact that we currently disallow @ in a node name is a limitation
imposed by the implementation of the language translator.  The latest
rules of node-to-file-name translation were designed to support the
day when these limitations will be lifted.

>  | If you want to help us find better solutions, please make a point of
>  | learning the problems and the code, and suggesting specific solutions.
> 
> I have suggested very specific solutions.

I meant code solutions, not ideas.  That is, patches.