From 8e188e6b559d937f5ed7ddf4a8c4da69fa9e1535 Mon Sep 17 00:00:00 2001
From: sternenseemann <sternenseemann@systemli.org>
Date: Sun, 2 Jan 2022 23:57:01 +0100
Subject: 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.
---
 machines/sternenseemann/base.nix | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

(limited to 'machines/sternenseemann/base.nix')

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
-- 
cgit 1.4.1