Re: `info` swallows vertical space and indentation after `@image`

[Gavin Smith]

On Sun, Apr 25, 2021 at 08:51:38PM +0100, Gavin Smith wrote:
> On Sun, Apr 25, 2021 at 01:08:07PM +0100, Gavin Smith wrote:
> > I haven't worked out where the extra newline should be output and it could
> > take me a while to do this, and I don't know if I will have time anytime
> > soon to work this out, so help on this would be appreciated.
> 
> I've made a change that adds the extra line in the output
> (commit 894cf6b1f49cd7) although I expect in some cases there
> may be too many extra lines output.  If this fixes the issue with
> @image though it may be worth it.
> 
> I haven't looked into the indentation issue yet.

Please try commit 7642b9b8c1 for the indentation in TeX where the
first paragraph in a section after an @image shouldn't have any extra
indentation on the first line.