Re: extension for arbitrary chars in node names

[Eli Zaretskii]

> Date: Mon, 24 Mar 2003 11:50:17 -0500
> From: address@hidden (Karl Berry)
> 
> BTW, I'm imagining that we can use this same thing to solve some of our
> node-name problem.  That is, a menu item displayed as `foo"bar'
> referring to a node named 
>   foo"bar:.baz
> could be output in info as:
> 
> address@hidden name="foo\"bar" node="foo\"bar:.baz"address@hidden    
> Description.
> (Similarly for xrefs, etc.)

Do we really need the name= and node= parts?  Can't we simply delimit
the node name with address@hidden and address@hidden (or whateveer else we 
decide to
use as delimiters)?