It should be reported to [email protected] as written in the mentioned file.
2011/2/7 Dr. Werner Fink <[email protected]>: > 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
