On Fri, 13 Mar 2020, Brad House wrote:
>> Also, it seems that the man2html isn't honoring the .PP macro so things
>> don't render nicely. I committed a change for that just now but doesn't
>> explain why it pulled in an older man page that is wrong for the release.
> And somehow after my latest commit it refreshed? I guess I don't understand
> how/when it renders a new release :)
No, I refreshed it manually. It struck me I forgot to update the source repo
when I rebuilt the web site. I really should automate this...
-- / daniel.haxx.seReceived on 2020-03-13