Hi again Hilmar,
<http://savannah.gnu.org/bugs/?33373>
Summary: makeinfo adds a spurious period for @pxref before
closing parenthesis
Thanks for the report, I don't think I agree that the period is
spurious. It unambiguously indicates the end of the node name. If it
wasn't there, we would also have to consider ) as marking the end of a
node name, that is, ) would not be allowed in node names. That seems a
much worse outcome. I see the reftex manual has node names with parens.
I see that the Texinfo manual (Node Line Requirements) currently says
that parens are not allowed in node names. I think that's because of
cross-manual xrefs and menu entries that use parens to specify the Info
file name. I don't want to add another case where parens are special.
I should probably relax the text in the manual.
Finally, I think such a change would mean changing Info readers, which
is a non-starter.
Patrice, do you have any thoughts on this?
Best,
Karl
