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.
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
