[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #33373] makeinfo adds a spurious period for @pxref before closing p
|
From: |
Patrice Dumas |
|
Subject: |
[bug #33373] makeinfo adds a spurious period for @pxref before closing parenthesis |
|
Date: |
Sun, 18 Sep 2011 08:15:19 +0000 |
|
User-agent: |
Mozilla/5.0 (X11; U; Linux x86_64; fr; rv:1.9.1.16) Gecko/20110815 Iceweasel/3.5.16 (like Firefox/3.5.16) |
Update of bug #33373 (project texinfo):
Open/Closed: Open => Closed
Status: None => Fixed
_______________________________________________________
Follow-up Comment #1:
As discussed on the list, the Info reader requires a punctuation mark to end a
node, and it would be a bad idea to parse parenthesis in node for another
purpose than detecting a manual name embedded in the node name, like
(manual)node name.
So adding the dot before the parenthesis should stay.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?33373>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/