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 | |
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')
-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 1d5fa4811a369..ac405c3790380 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 |