doc/manual: don't need to copy `highlight.js` manually

Signed-off-by: Pamplemousse <xav.maso@gmail.com>
2021-08-04 19:44:12 -07:00 · 2021-08-04 19:44:12 -07:00 · de39cfb9f3
parent 1f93084149
commit de39cfb9f3
2 changed files with 0 additions and 1 deletions
--- a/doc/manual/local.mk
+++ b/doc/manual/local.mk
@ -86,6 +86,5 @@ install: $(d)/src/command-ref/new-cli

 $(docdir)/manual/index.html: $(MANUAL_SRCS) $(d)/book.toml $(d)/custom.css $(d)/src/SUMMARY.md $(d)/src/command-ref/new-cli $(d)/src/command-ref/conf-file.md $(d)/src/expressions/builtins.md
 	$(trace-gen) RUST_LOG=warn mdbook build doc/manual -d $(docdir)/manual
-	@cp doc/manual/highlight.pack.js $(docdir)/manual/highlight.js

 endif
--- a/doc/manual/theme/highlight.js
+++ b/doc/manual/theme/highlight.js