Re: [help-texinfo] Using @verbatiminclude in a macro with a file with a "@" in its name

[Karl Berry]

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
+    address@hidden@}% 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