[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug #33373] makeinfo adds a spurious period for @pxref before closi
From: |
Karl Berry |
Subject: |
Re: [bug #33373] makeinfo adds a spurious period for @pxref before closing parenthesis |
Date: |
Sun, 22 May 2011 23:07:01 GMT |
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