Karl, could you please tell what exactly confuses texinfo.tex in this
case?I don't know offhand, but I will investigate. _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
