diff options
author | Adam Joseph <54836058+amjoseph-nixpkgs@users.noreply.github.com> | 2023-04-25 12:37:50 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-25 14:37:50 +0200 |
commit | ed312cb4f78d3d79c11769cb07880fcfaf582377 (patch) | |
tree | 66839ff6dc25b0848f3027d4933343fcfe09cfd2 /doc/default.nix | |
parent | e7e169ca03eaebec80fb9c6ff811d4835ae67aef (diff) |
doc/default.nix: make the manual build on more than one core (#225921)
* doc/default.nix: make the manual build on more than one core
Let's build the manual with more than one core. Maybe people will take better care of it now that it is less painful to build.
Diffstat (limited to 'doc/default.nix')
-rw-r--r-- | doc/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/default.nix b/doc/default.nix index ac405c379038..4f55c95a04c1 100644 --- a/doc/default.nix +++ b/doc/default.nix @@ -20,6 +20,10 @@ in pkgs.stdenv.mkDerivation { ln -s ${doc-support} ./doc-support/result ''; + preBuild = '' + make -j$NIX_BUILD_CORES render-md + ''; + installPhase = '' dest="$out/share/doc/nixpkgs" mkdir -p "$(dirname "$dest")" |