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

[Eli Zaretskii]

On Tue, 4 Jun 2002 address@hidden wrote:

>     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).

AFAICS, @include and @verbatiminclude close the current paragraph.  It 
would be interesting to dig out the reports which required that behavior, 
or even to know when was that introduced (I tried the ChangeLog, but 
couldn't figure that out).