diff options
author | sterni <sternenseemann@systemli.org> | 2021-03-24T19·02+0100 |
---|---|---|
committer | sterni <sternenseemann@systemli.org> | 2021-03-31T23·06+0000 |
commit | 811fff2d8b43cab0d15f32016c3d0572ffa9db77 (patch) | |
tree | f30f9d79dcb2c7bf2aab89b573d8a05b1a845345 /.gitignore | |
parent | c693e8bf514bf5c34ad463dd934f787ed2eea88a (diff) |
feat(nix/buildManPages): infra for generating man page dirs from nix r/2380
Very simple builder which builds (optionally) gzipped man pages from a list of attrsets and links them into a common man directory with the correct layout, so it should be installable immediately. Additionally runs mandoc -T lint, but by default only for informational purposes as it is very strict and some things are almost never true (for example all Xrs being present in the respective directory). buildManPages.single exposes the internal builder for a single, optionally gzipped man page from a nix attrset. Change-Id: I43fce011716f4a7cc80521f222800ca99ba54060 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2654 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions