diff options
| author | Karel Kočí <cynerd@email.cz> | 2022-10-18 16:08:43 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2022-10-18 16:08:43 +0200 |
| commit | ad84020ba4c3dc60ac9d4a28cd81a32576af5bb3 (patch) | |
| tree | f5775559375341c8904be946233ebc808641bc32 /nixos/modules/develop.nix | |
| parent | 457120e85acd089f8f734aa6465be01eec3f8943 (diff) | |
| download | nixos-personal-ad84020ba4c3dc60ac9d4a28cd81a32576af5bb3.tar.gz nixos-personal-ad84020ba4c3dc60ac9d4a28cd81a32576af5bb3.tar.bz2 nixos-personal-ad84020ba4c3dc60ac9d4a28cd81a32576af5bb3.zip | |
nixos/machine/mrpump: Gitlab CI
Diffstat (limited to 'nixos/modules/develop.nix')
| -rw-r--r-- | nixos/modules/develop.nix | 2 |
1 files changed, 1 insertions, 1 deletions
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; |