It does not really matter, but I think these commands:
@exdent NOTHING
@noindent NOTHING
@page NOTHING
@refill NOTHING
@uref is replaced by the third arg, or the second if not present or the first
@footnote and its argument are removed
@sp and the number following it are removed
@*ref is replaced by the first argument (the node name)
should simply be disallowed in @node names. I can't imagine any good
reason to use them.
@image, by the way, I can imagine (very vaguely), so let's leave that as
a possibility.
I don't have any other comments. Thanks for doing this. Now I just I
could take the time to implement it immediately :).
karl
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
