make geopub/leaflet a separate library

This commit is contained in:
Swrup 2022-04-05 16:33:14 +02:00
commit 38bff4feb4
18 changed files with 347 additions and 0 deletions

3
doc/dune Normal file
View file

@ -0,0 +1,3 @@
(documentation
(package leaflet)
(mld_files index))