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/
