(lang dune 3.21) ; Shell configuration for odoc HTML generation. ; ; html_flags are applied globally to all packages in `dune build @doc`. ; Per-package shell selection is not currently possible within a single ; build invocation. For production, a two-pass build (first with ; --shell docsite for reference docs, then --shell jon-shell for site ; content) or upstream per-package html_flags support would be needed. ; ; For this development branch, we use --shell jon-shell globally so ; site content renders correctly. Reference docs will use the jon-shell ; layout too, which is acceptable for development. (env (dev (odoc (html_flags --shell jon-shell --config x-ocaml.universe=/_opam) (prefix reference) )))