diff options
Diffstat (limited to 'doc/manual/local.mk')
| -rw-r--r-- | doc/manual/local.mk | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk index e7c029727..5d05bbdcc 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk @@ -163,9 +163,6 @@ $(docdir)/manual/index.html: $(MANUAL_SRCS) $(d)/book.toml $(d)/anchors.jq $(d)/ $(trace-gen) \ tmp="$$(mktemp -d)"; \ cp -r doc/manual "$$tmp"; \ - find "$$tmp" -name '*.md' | while read -r file; do \ - doc/manual/process-includes.sh $$file $$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" || :; }; \ |