From ad84020ba4c3dc60ac9d4a28cd81a32576af5bb3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Tue, 18 Oct 2022 16:08:43 +0200
Subject: nixos/machine/mrpump: Gitlab CI

---
 nixos/modules/develop.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'nixos/modules/develop.nix')

diff --git a/nixos/modules/develop.nix b/nixos/modules/develop.nix
index 76f0d71..2360cda 100644
--- a/nixos/modules/develop.nix
+++ b/nixos/modules/develop.nix
@@ -96,7 +96,7 @@ in {
       dfeet
 
       # Documentation
-      man-pages man-pages-posix
+      man-pages man-pages-posix linux-manual
     ];
 
     documentation.dev.enable = true;
-- 
cgit v1.2.3