Re: bad formatting of @verbatim followed by @image

[Werner LEMBERG]

> I've attempted to fix it with the following change (commit
> a9aacb0b39): [...]
> 
> It would be helpful if you could test it as TeX's page breaking can
> be difficult to understand.

It seems to work fine, thanks!


    Werner