diff --git a/doc/manual/local.mk b/doc/manual/local.mk
index dd1d5f0fa..93ec3cad0 100644
--- a/doc/manual/local.mk
+++ b/doc/manual/local.mk
@@ -96,6 +96,5 @@ doc/manual/generated/man1/nix3-manpages: $(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
diff --git a/doc/manual/highlight.pack.js b/doc/manual/theme/highlight.js
similarity index 100%
rename from doc/manual/highlight.pack.js
rename to doc/manual/theme/highlight.js