diff options
| author | sternenseemann <sternenseemann@systemli.org> | 2021-09-19 19:51:03 +0200 |
|---|---|---|
| committer | sterni <sternenseemann@systemli.org> | 2021-12-31 11:17:34 +0100 |
| commit | f4f723886002f3959d8ef94f556aaaf9c261cc9e (patch) | |
| tree | 8d642b4d2c9670af8b76a688100cf01ac70587da /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | bcc4c34640047b610f514fffc7233401f8caf1df (diff) | |
nixos/mandoc: init
Adds a NixOS module which allows using mandoc as the main manual
viewer. It can be used as a drop-in replacement for documentation.man
which relies on GNU's man-db and provides more or less the same
features.
The generateCaches option requires a different implementation for
mandoc, so it is hard to share code between the two modules -- hence it
has been implemented separately. Using both at the same time makes
little sense and wouldn't quite work, so there's an assertion to
prevent it.
To make makewhatis(8) index manual pages which are symlinks to the nix
store, we need to set READ_ALLOWED_PATH to include
`builtins.storeDir`. For background and discussion see:
https://inbox.vuxu.org/mandoc-tech/c9932669-e9d4-1454-8708-7c8e36967e8e@systemli.org/T/
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions