Ok, it didn't apply to texinfo from 4.8, but: Hardly surprising. You should distribute the latest released texinfo.tex, available from ftp://tug.org/tex/texinfo.tex (or linked from http://www.gnu.org/software/texinfo). Lots of fixes. texinfo.tex is the one thing that I can update independently of everything else, so I do.
_______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
