On Mon, 4 Feb 2008, Karl Berry wrote: > The new version is at ftp://tug.org/tex/texinfo.tex. Can you give it a > try and see how it goes?
That appears to be an older version (2007-09-03.05) with no changes in this area. The new version from Texinfo CVS (2008-02-04.16) fixes the problem for me. -- Joseph S. Myers [EMAIL PROTECTED]
