diff options
author | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2020-12-15 15:20:34 +0100 |
---|---|---|
committer | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2020-12-15 15:20:34 +0100 |
commit | 5d444f2fed3900b71a4776f6ee9f32140a9b007a (patch) | |
tree | b5f14dcc3de8200e3868d6fe73916dd2abae7171 | |
parent | 5d2d6e2ee19ced59027d89d1cc1283734376ea76 (diff) |
feat(doc): respect .gitignore
-rw-r--r-- | doc/web.nix | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/web.nix b/doc/web.nix index 9c7dd33..ca2975c 100644 --- a/doc/web.nix +++ b/doc/web.nix @@ -11,7 +11,13 @@ let ]; lib = pkgs.lib; - repoRoot = ./..; + root = ./..; + repoRoot = builtins.path { + name = "buchstabensuppe-src"; + path = root; + filter = pkgs.nix-gitignore.gitignoreFilter + (builtins.readFile ./../.gitignore) root; + }; # TODO: man inclusion -Oman buildManPage = { name, section }: |