diff options
Diffstat (limited to 'system/nix/config/optional_mdbook.patch')
| -rw-r--r-- | system/nix/config/optional_mdbook.patch | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/system/nix/config/optional_mdbook.patch b/system/nix/config/optional_mdbook.patch new file mode 100644 index 0000000000..bb97f49e8f --- /dev/null +++ b/system/nix/config/optional_mdbook.patch @@ -0,0 +1,27 @@ +diff --git a/doc/manual/local.mk b/doc/manual/local.mk +index abdfd6a..3745106 100644 +--- a/doc/manual/local.mk ++++ b/doc/manual/local.mk +@@ -174,22 +193,5 @@ doc/manual/generated/man1/nix3-manpages: $(d)/src/command-ref/new-cli + @touch $@ + + $(docdir)/manual/index.html: $(MANUAL_SRCS) $(d)/book.toml $(d)/anchors.jq $(d)/custom.css $(d)/src/SUMMARY.md $(d)/src/command-ref/new-cli $(d)/src/contributing/experimental-feature-descriptions.md $(d)/src/command-ref/conf-file.md $(d)/src/language/builtins.md $(d)/src/language/builtin-constants.md +- $(trace-gen) \ +- tmp="$$(mktemp -d)"; \ +- cp -r doc/manual "$$tmp"; \ +- find "$$tmp" -name '*.md' | while read -r file; do \ +- $(call process-includes,$$file,$$file); \ +- done; \ +- find "$$tmp" -name '*.md' | while read -r file; do \ +- docroot="$$(realpath --relative-to="$$(dirname "$$file")" $$tmp/manual/src)"; \ +- sed -i "s,@docroot@,$$docroot,g" "$$file"; \ +- done; \ +- set -euo pipefail; \ +- RUST_LOG=warn mdbook build "$$tmp/manual" -d $(DESTDIR)$(docdir)/manual.tmp 2>&1 \ +- | { grep -Fv "because fragment resolution isn't implemented" || :; }; \ +- rm -rf "$$tmp/manual" +- @rm -rf $(DESTDIR)$(docdir)/manual +- @mv $(DESTDIR)$(docdir)/manual.tmp/html $(DESTDIR)$(docdir)/manual +- @rm -rf $(DESTDIR)$(docdir)/manual.tmp + + endif |