> Could you try this patch? If it works (seems to for me), I'll make > another release (sigh) shortly.
Yes, this seems to do the trick.
Werner
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
