On Sun, Oct 19, 2008 at 08:44:46PM +0100, David Bateman wrote: > What version of texinfo.tex does this patch apply against?
Sorry, I just based it on some random texinfo.tex that was lying around. I figured it would be easier to make the manual change than to mess with patch :). Anyway, I've committed the change into CVS (including corresponding fix for \include), so you can now get it "officially". Best, Oleg
