diff options
author | sternenseemann <sternenseemann@systemli.org> | 2022-01-02 23:57:01 +0100 |
---|---|---|
committer | sternenseemann <sternenseemann@systemli.org> | 2022-01-02 23:58:48 +0100 |
commit | 8e188e6b559d937f5ed7ddf4a8c4da69fa9e1535 (patch) | |
tree | 33fc2c03e25ccabf92b9a4ad46de2e24d896ed1c /machines | |
parent | 8cd2b2ad17aad688adaba3d85a22755355453d48 (diff) |
machines/sternenseemann: mandoc module was upstreamed
* Delete patched mandoc derivation and documentation.mandoc module from the tree, both have an equivalent upstream now. * Activate upstreamed documentation.man.mandoc module in my machines.
Diffstat (limited to 'machines')
-rw-r--r-- | machines/sternenseemann/base.nix | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/machines/sternenseemann/base.nix b/machines/sternenseemann/base.nix index 499302f4..c6091175 100644 --- a/machines/sternenseemann/base.nix +++ b/machines/sternenseemann/base.nix @@ -59,13 +59,15 @@ in { documentation = { enable = true; dev.enable = true; - man.enable = false; - }; - - vuizvui.user.sternenseemann.documentation.mandoc = { - enable = true; - generateCaches = true; - manPath = [ "share/man" "share/man/de" ]; + man = { + enable = true; + generateCaches = true; + man-db.enable = false; + mandoc = { + enable = true; + manPath = [ "share/man" "share/man/de" ]; + }; + }; }; # HACK: create man0p, man1p, man3p etc. as directories in the environment |