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 <vinc...@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) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
