Bug#492210: texinfo: makeinfo adds a spurious period for @pxref before closing parenthesis
Control: tags -1 - fixed-upstream
Control: reassign -1 info
Control: found -1 4.11.dfsg.1-4
Control: found -1 5.1.dfsg.1-4
On 2011-05-22 18:47:58 +0200, Hilmar Preusse wrote:
> forwarded 492210 https://savannah.gnu.org/bugs/index.php?33373
According to what has been said here, "the Info reader requires
a punctuation mark to end a node", and they don't seem to want to
change that.
Now, since the punctuation mark is just a marker for the Info reader,
it should normally not be output! So, this should be seen as a bug in
the Info reader. But since in practice, such a punctuation mark has a
double usage (this is poor design!), I suggest not to output it only
when it is immediately followed by a parenthesis.
For instance, with
*note GNU Libtool: (libtool.info)Top.
the period should be output, but not with:
Test (*note Library interface versions: (libtool)Versioning.).
Parsing should not be too difficult as only the next character would
be used to determine whether the punctuation mark should be output or
not.
--
Vincent Lefèvre <vincent@vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
Reply to: