Merge pull request #2577 from dbnicholson/man-html
authorColin Walters <walters@verbum.org>
Sat, 9 Apr 2022 19:46:25 +0000 (15:46 -0400)
committerGitHub <noreply@github.com>
Sat, 9 Apr 2022 19:46:25 +0000 (15:46 -0400)
Publish man pages


Trivial merge