jon.recoil.org
Testing of the @doc-json output
Fix docsite sidebar navigation by using Html.Unsafe.data for script content
Html.txt HTML-encodes its content, turning quotes into " inside
<script> tags. This made window.BASE_URL undefined (invalid JS),
causing the sidebar to fall back to './' and produce doubled paths
like odoc-interactive-extension/odoc-interactive-extension/demo1.html.
Use Html.Unsafe.data instead, which outputs raw content appropriate
for script tags.
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
+2
-2
src/odoc_docsite_shell.ml
+2
-2
src/odoc_docsite_shell.ml
···
219
219
();
220
220
(* Inject BASE_URL and CURRENT_URL for the JS *)
221
221
Html.script
222
-
(Html.txt
222
+
(Html.Unsafe.data
223
223
(Printf.sprintf "window.BASE_URL = %S; window.CURRENT_URL = %S;"
224
224
base_url current_url));
225
225
]
···
381
381
]
382
382
();
383
383
Html.script
384
-
(Html.txt
384
+
(Html.Unsafe.data
385
385
(Printf.sprintf "window.BASE_URL = %S; window.CURRENT_URL = %S;"
386
386
base_url current_url));
387
387
]