[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: 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:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]