Hi David,
Here is an ugly change to allow @@ in the @verbatiminclude argument, so
you can at least get your work done. Let me know if problems. (It's
also updated at ftp://tug.org/tex/texinfo.tex, et al.)
@@ -6175,6 +6175,7 @@
\def\doverbatiminclude#1{%
{%
\makevalueexpandable
+ [EMAIL PROTECTED]@}% we want to use \indexnofonts, but then verbatim ends
prematurely
\setupverbatim
\input #1
\afterenvbreak
My test file (named atdir.tex in a subdirectory named @tests) was:
\input texinfo
@setfilename atdir.info
before verbatim
@verbatiminclude ../@@tests/atdir.tex
after verbatim
@bye
Oleg: what we really want to use here (and in @include for that matter)
is \indexnofonts. But when I tried it, somehow the grouping got off and
the verbatim ended at the first line of the included file. If you feel
like taking a break from the encoding/fonts madness ... :). (I won't
get back to it for several days at best.)
Thanks,
Karl