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 | |
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')
-rw-r--r-- | doc/Makefile | 3 | ||||
-rw-r--r-- | doc/default.nix | 4 |
2 files changed, 7 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index ee98a3ee92137..208f23f5023a4 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -19,6 +19,9 @@ pandoc_flags = --extract-media=$(pandoc_media_dir) \ .PHONY: all all: validate format out/html/index.html out/epub/manual.epub +.PHONY: render-md +render-md: ${MD_TARGETS} + .PHONY: debug debug: nix-shell --run "xmloscopy --docbook5 ./manual.xml ./manual-full.xml" diff --git a/doc/default.nix b/doc/default.nix index ac405c3790380..4f55c95a04c1d 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")" |