|
| From: | Karl Berry |
| Subject: | Re: @include @value and texinfo.tex |
| Date: | Tue, 5 Feb 2008 18:01:30 -0600 |
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
| [Prev in Thread] | Current Thread | [Next in Thread] |