[tex-live] Small bug in texinfo.tex

Zdenek Wagner zdenek.wagner at gmail.com
Mon Feb 7 14:21:49 CET 2011


It should be reported to bug-texinfo at gnu.org as written in the mentioned file.

2011/2/7 Dr. Werner Fink <werner at suse.de>:
> 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
>



-- 
Zdeněk Wagner
http://hroch486.icpf.cas.cz/wagner/
http://icebearsoft.euweb.cz



More information about the tex-live mailing list