jon.recoil.org
forked from
anil.recoil.org/monopam-myspace
My aggregated monorepo of OCaml code, automaintained
deploy-site: fix plugin install and odoc.support copy
- Install odoc-jon-shell, odoc-interactive-extension, and
odoc-scrollycode-extension instead of x-ocaml (which doesn't need
installing since it's found from _build/install/)
- Fix odoc.support copy to use mkdir -p and glob pattern
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
+5
-2
deploy-site.sh
+5
-2
deploy-site.sh
···
37
37
echo "=== Step 1: Build and register plugins ==="
38
38
cd "$MONO"
39
39
dune build @install
40
-
dune install x-ocaml 2>/dev/null
40
+
# Shell and extensions must be findlib-visible for odoc to load them.
41
+
# x-ocaml.js is found from _build/install/ so x-ocaml itself doesn't need installing.
42
+
dune install odoc-jon-shell odoc-interactive-extension odoc-scrollycode-extension 2>/dev/null
41
43
echo " plugins registered"
42
44
43
45
echo ""
···
66
68
# Make existing files writable first (dune marks build outputs read-only).
67
69
chmod -R u+w "$SITE_HTML/reference/" "$SITE_HTML/odoc.support/" 2>/dev/null || true
68
70
cp -rf "$DOC_HTML/reference/"* "$SITE_HTML/reference/"
69
-
cp -rf "$DOC_HTML/odoc.support" "$SITE_HTML/odoc.support"
71
+
mkdir -p "$SITE_HTML/odoc.support/"
72
+
cp -rf "$DOC_HTML/odoc.support/"* "$SITE_HTML/odoc.support/"
70
73
echo " merged reference docs into site tree"
71
74
72
75
echo ""