Possible formatting bug in ssh-agent.1 man page

[Mantas Mikulėnas]

On 2016-09-28 00:10, 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.

At least on Linux systems, wouldn't using man/groff's built-in mdoc
support also be good enough?

-- 
Mantas Mikulėnas <grawity at gmail.com>