Re: @include @value and texinfo.tex

[Karl Berry]

    That appears to be an older version (2007-09-03.05) with no changes in 

Ah, thanks for alerting me to that.  Fixed.

    The new version from Texinfo CVS (2008-02-04.16) fixes the problem for me.

Oh good :).

Best,
k