Re: Failure with texinfo.tex 2008-02-15.11

[John Mandereau]

Karl Berry wrote:
> Thanks for the report (again), and sorry for the trouble.
> Please try the texinfo.tex in CVS now ...

Thanks, it works!

Best,
John