jon.recoil.org / monopam-myspace
forked from anil.recoil.org/monopam-myspace
My aggregated monorepo of OCaml code, automaintained
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Fix extension CSS path in odoc-docsite

The extension CSS files are located in odoc.support/extensions/, not
extensions/. Fix the path so extension stylesheets (admonition.css,
mermaid.css, etc.) are correctly copied to the docsite output.

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

Jon Ludlam bfe22558 1a06a981

+2 -2
+2 -2
odoc-docsite/odoc_docsite.ml
··· 1957 1957 Printf.eprintf "Warning: %s not found in %s\n%!" file html_dir 1958 1958 ) files_to_copy; 1959 1959 1960 - (* Copy extension support files from the HTML output's extensions/ directory *) 1961 - let extensions_src = Eio.Path.(fs / html_dir / "extensions") in 1960 + (* Copy extension support files from the HTML output's odoc.support/extensions/ directory *) 1961 + let extensions_src = Eio.Path.(fs / html_dir / "odoc.support" / "extensions") in 1962 1962 let extensions_dst = Eio.Path.(fs / output_dir / "extensions") in 1963 1963 if Eio.Path.is_directory extensions_src then begin 1964 1964 (try Eio.Path.mkdirs ~perm:0o755 extensions_dst with Eio.Io _ -> ());