about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--users/grfn/xanthous/default.nix1
1 files changed, 1 insertions, 0 deletions
diff --git a/users/grfn/xanthous/default.nix b/users/grfn/xanthous/default.nix
index 90dd5870d7b8..c0eca446c9ed 100644
--- a/users/grfn/xanthous/default.nix
+++ b/users/grfn/xanthous/default.nix
@@ -9,6 +9,7 @@ let
     path = ./.;
     filter = path: type:
       !(type == "directory" && builtins.baseNameOf path == "server")
+      && !(type == "directory" && builtins.baseNameOf path == "docs")
       && (ignore path type
           || builtins.baseNameOf path == "package.yaml");
   };