I've attached a patch that seems to fix the problem, Thanks very much. The patch seems fine, I'll install it as soon as I have a chance.
Best, Karl _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
