[tex-live] Small bug in texinfo.tex

Dr. Werner Fink werner at suse.de
Mon Feb 7 13:55:26 CET 2011


In the definition of ^^bb in texinfo.tex there is a bug:

  \gdef^^bb{\guilletright}

should become

   \gdef^^bb{\guillemetright}

this was reported by Peter Münster, see

   http://bugzilla.novell.com/show_bug.cgi?id=669714

for TeXLive 2010 I've found this at line 8264 in texinfo.tex


Werner


-- 
  "Having a smoking section in a restaurant is like having
          a peeing section in a swimming pool." -- Edward Burr


More information about the tex-live mailing list