Oleg Katsitadze wrote:
The following patch works for me:
@@ -6175,8 +6175,8 @@
\def\doverbatiminclude#1{%
{%
\makevalueexpandable
- [EMAIL PROTECTED]@}% we want to use \indexnofonts, but then verbatim ends
prematurely
\setupverbatim
+ \indexnofonts
\input #1
\afterenvbreak
}%
Best,
Oleg
Sorry for the late reply.. What version of texinfo.tex does this patch
apply against? I tried the CVS head from the texinfo home page and it
didn't apply cleanly.. Applying the patch by hand to the CVS head I
still end up with the same issue. Thanks for the rapid response...
Cheers
David
--
David Bateman [EMAIL PROTECTED]
35 rue Gambetta +33 1 46 04 02 18 (Home)
92100 Boulogne-Billancourt FRANCE +33 6 72 01 06 33 (Mob)
