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

[Sergey Poznyakoff]

Karl Berry <address@hidden> ha escrit:

> 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.

I would not agree.  An *unbalanced* ')' surely would not be allowed, but
it does not seem such a limitation (in a human-readable text an
unbalanced parenthesis is almost always a typo).  As for balanced
parens, it would not be difficult to handle them, both for an info
reader and for makeinfo parser.

Of course, all that being said, the following:

> Finally, I think such a change would mean changing Info readers,

still remains true.

Regards,
Sergey