1 files changed, 0 insertions, 15 deletions
diff --git a/sys/documentation/default.nix b/sys/documentation/default.nix
deleted file mode 100644
index 6e7f4912..00000000
--- a/sys/documentation/default.nix
+++ /dev/null
@@ -1,15 +0,0 @@
-{...}: {
-  documentation = {
-    nixos = {
-      # TODO: Enable this, when the build is no longer local (i.e. I've access to a remote build server) <2023-08-28>
-      includeAllModules = true;
-
-      # I don't use this, and it has a considerable build time.
-      enable = false;
-    };
-    dev = {
-      # Add man pages aimed at developers (I guess c library stuff, and the like)
-      enable = true;
-    };
-  };
-}