From ed312cb4f78d3d79c11769cb07880fcfaf582377 Mon Sep 17 00:00:00 2001 From: Adam Joseph <54836058+amjoseph-nixpkgs@users.noreply.github.com> Date: Tue, 25 Apr 2023 12:37:50 +0000 Subject: [PATCH] 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. --- doc/Makefile | 3 +++ doc/default.nix | 4 ++++ 2 files changed, 7 insertions(+) diff --git a/doc/Makefile b/doc/Makefile index ee98a3ee9213..208f23f5023a 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 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")"