[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