diff options
author | Naïm Favier <n@monade.li> | 2023-02-07 13:58:34 +0100 |
---|---|---|
committer | Naïm Favier <n@monade.li> | 2023-02-07 13:58:34 +0100 |
commit | 5a5decd2eb9a32276e7f5e0f8f0aff5bb69c6d36 (patch) | |
tree | 02727740beda6d7be033984886c3e00601dc7a20 /doc/default.nix | |
parent | c2166eea486b228862f627b5dc83b2c0d92b7910 (diff) |
doc: use `gitignoreSource`
Running `make -C doc` to build the manual locally leaves .xml artifacts
in the tree. These are ignored by git, but they still get included in
the build when not using flakes, which causes the corresponding chapters
not to be built.
Diffstat (limited to 'doc/default.nix')
-rw-r--r-- | doc/default.nix | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/default.nix b/doc/default.nix index 1d5fa4811a36..ac405c379038 100644 --- a/doc/default.nix +++ b/doc/default.nix @@ -1,6 +1,5 @@ { pkgs ? (import ./.. { }), nixpkgs ? { }}: let - lib = pkgs.lib; doc-support = import ./doc-support { inherit pkgs nixpkgs; }; in pkgs.stdenv.mkDerivation { name = "nixpkgs-manual"; @@ -15,7 +14,7 @@ in pkgs.stdenv.mkDerivation { xmlformat ]; - src = lib.cleanSource ./.; + src = pkgs.nix-gitignore.gitignoreSource [] ./.; postPatch = '' ln -s ${doc-support} ./doc-support/result |