Possible formatting bug in ssh-agent.1 man page

[Damien Miller]

On Tue, 27 Sep 2016, Ingo Schwarze wrote:

> The patch also inserts a few needless .PP before .SH, but that does
> no harm.  mdoc2man.awk is a terrible hack and not a proper parser
> in the first place, so we shouldn't expect beauty in its output.
> If the output is correct and portable, that's good enough.  At some
> point, we should replace mdoc2man.awk with mandoc -Tman anyway.
> The last time i tried, there was still some work to do, so that
> won't be instantaneous.
> 
> So, for now, i think the following patch should be committed to
> git master.

Done - thanks!