Fix highlightjs/build.sh to point to correct directories
@@ -12,7 +12,8 @@ npm ci
rm -rf build
node tools/build.js sway rust ini bash shell json
-cp build/highlight.min.js ../../../docs/theme/highlight.js
+cp build/highlight.min.js ../../../docs/reference/theme/highlight.js
+cp build/highlight.min.js ../../../docs/book/theme/highlight.js
# add "keep" in order to keep highlight.js repo
if [[ ${1} != "keep" ]]; then
