jon.recoil.org / merlin-js
this repo has no description
fork atom

odoc-interactive-extension: add js_top_worker-widget-leaflet to universe

The map demo requires this widget package at runtime.

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

Jon Ludlam's Agent 12537e8d 48283434

+1 -1
unified split
+1 -1
odoc-interactive-extension/doc/dune
··· 13 13 (targets 14 14 (dir universe)) 15 15 (action 16 - (run jtw opam -o universe yojson))) 16 + (run jtw opam -o universe yojson js_top_worker-widget-leaflet))) 17 17 18 18 ; After building, deploy to the doc HTML output: 19 19 ; cp -r _build/default/odoc-interactive-extension/doc/universe \