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


Reply via email to