Re: @includeverbatim causes spurious empty lines in Info and HTML

[Karl Berry]

    It really ought to be equivalent to inlining the foo file, i.e.,

I'm not sure @include should be exactly equivalent to inlining.  In your
case it should.  But I seem to recall bug reports about this, wanting it
to at least start a new paragraph (I dunno about all those html blank lines).

Anyway, I'll take a look.

Thanks.