Re: makeinfo adds a spurious period for @pxref before closing parenthesis

[Karl Berry]

    Have existing info readers been fixed to be able to process that?

No.  The issue has never been mentioned before.

It is already fragile and difficult to find cross-references in Info.  I
am not enthusiastic about making yet another variation to recognize.  I
think the drawbacks far outweigh the minor benefit.  The period is part
of the syntax of cross-references, not part of the syntaxes.  After all,
the period is not typographically correct in other contexts where it is
used in Info, either.  Neither is the standard double-colon or plenty of
other Info things.  I don't see a reason to single out this one
particular case.

k