diff options
| author | David Robillard <d@drobilla.net> | 2021-10-09 15:48:18 -0400 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2022-01-28 21:57:29 -0500 |
| commit | ea272b5e88c02117a2a3ef7e12d221bd196844dc (patch) | |
| tree | 0ca284906b5c9678aee541e827a9ceb002d022c0 /.gitlab-ci.yml | |
| parent | a9f6180de5124f699963bd007daa810868f2c75a (diff) | |
| download | serd-ea272b5e88c02117a2a3ef7e12d221bd196844dc.tar.gz serd-ea272b5e88c02117a2a3ef7e12d221bd196844dc.tar.bz2 serd-ea272b5e88c02117a2a3ef7e12d221bd196844dc.zip | |
Isolate man pages and build HTML versions with mandoc if possible
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.
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions