On Wed, Oct 15, 2008 at 07:53:36PM -0500, Karl Berry wrote: > 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.
Hmm, I get all lines, but all spaces are gobbled up. I'll look into this. Oleg
