diff options
Diffstat (limited to 'users/grfn')
| -rw-r--r-- | users/grfn/xanthous/default.nix | 1 |
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"); }; |