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/Makefile | |
parent | e7e169ca03eaebec80fb9c6ff811d4835ae67aef (diff) | |
download | nixlib-ed312cb4f78d3d79c11769cb07880fcfaf582377.tar nixlib-ed312cb4f78d3d79c11769cb07880fcfaf582377.tar.gz nixlib-ed312cb4f78d3d79c11769cb07880fcfaf582377.tar.bz2 nixlib-ed312cb4f78d3d79c11769cb07880fcfaf582377.tar.lz nixlib-ed312cb4f78d3d79c11769cb07880fcfaf582377.tar.xz nixlib-ed312cb4f78d3d79c11769cb07880fcfaf582377.tar.zst nixlib-ed312cb4f78d3d79c11769cb07880fcfaf582377.zip |
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/Makefile')
-rw-r--r-- | doc/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
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" |