Re: allowing "+" in .html file names

[Eli Zaretskii]

On 29 Apr 2002, Ben Pfaff wrote:

> In Info files, anchor names appear at the point of reference just
> as much as ordinary node names, so it's important to me that they
> make sense to the human reader.

You could say something like

        @xref{plus, +}, etc.

which will produce

        *note plus: +, etc.

Thus the user still sees the `+' character, but it no longer gets in the 
way of split-HTML anchors.