Skip to content

Commit

Permalink
Fix old manual build again
Browse files Browse the repository at this point in the history
  • Loading branch information
Ericson2314 committed Oct 2, 2024
1 parent e85f86c commit 2c86ef9
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions doc/manual/local.mk
Original file line number Diff line number Diff line change
Expand Up @@ -224,9 +224,12 @@ $(docdir)/manual/index.html: $(MANUAL_SRCS) $(d)/book.toml $(d)/anchors.jq $(d)/
done; \
set -euo pipefail; \
( \
cd "$$tmp/manual"; RUST_LOG=warn mdbook build -d $(DESTDIR)$(docdir)/manual.tmp 2>&1 \
cd "$$tmp/manual"; \
RUST_LOG=warn \
MDBOOK_SUBSTITUTE_SEARCH=$(d)/src \
mdbook build -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
Expand Down

0 comments on commit 2c86ef9

Please sign in to comment.