Re: [bug #33373] makeinfo adds a spurious period for @pxref before closing parenthesis

[Karl Berry]

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