aboutsummaryrefslogtreecommitdiffstats
path: root/doc/mandoc.css
AgeCommit message (Collapse)AuthorFilesLines
2022-01-28Isolate man pages and build HTML versions with mandoc if possibleDavid Robillard1-251/+0
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.
2022-01-13Add dark theme for HTML man pagesDavid Robillard1-10/+70
2021-03-07Rewrite man page in mdoc and use mandoc to generate HTMLDavid Robillard1-0/+191