aboutsummaryrefslogtreecommitdiffstats
path: root/doc/man
AgeCommit message (Collapse)AuthorFilesLines
2022-01-28Fix code whitespace in HTML man pagesDavid Robillard1-0/+1
2022-01-28Isolate man pages and build HTML versions with mandoc if possibleDavid Robillard6-0/+1279
The HTML versions are mainly useful for generating the online documentation as part of a CI pipeline. They are installed anyway, which is redundant for systems with a man page reader, but handy elsewhere.