2022-04-05 16:33:14 +02:00
|
|
|
(library
|
|
|
|
|
(public_name leaflet)
|
2024-01-29 22:07:41 +01:00
|
|
|
(modules event global latlng layer map marker popup point icon)
|
2022-04-09 22:21:22 +02:00
|
|
|
(private_modules global)
|
2022-04-08 22:43:31 +02:00
|
|
|
(libraries brr)
|
2022-04-05 16:33:14 +02:00
|
|
|
(js_of_ocaml
|
2024-02-08 15:58:52 +01:00
|
|
|
(javascript_files vendor/leaflet.js)))
|
|
|
|
|
|
|
|
|
|
(install
|
|
|
|
|
(section
|
|
|
|
|
(site
|
|
|
|
|
(leaflet css)))
|
|
|
|
|
(files
|
|
|
|
|
(vendor/leaflet.css as leaflet.css)))
|
|
|
|
|
|
|
|
|
|
(install
|
|
|
|
|
(section
|
|
|
|
|
(site
|
|
|
|
|
(leaflet images)))
|
|
|
|
|
(files
|
|
|
|
|
(vendor/images/layers-2x.png as images/layers-2x.png)
|
|
|
|
|
(vendor/images/layers.png as images/layers.png)
|
|
|
|
|
(vendor/images/marker-icon-2x.png as images/marker-icon-2x.png)
|
|
|
|
|
(vendor/images/marker-icon.png as images/marker-icon.png)
|
|
|
|
|
(vendor/images/marker-shadow.png as images/marker-shadow.png)))
|
