src/dune at main · jon.recoil.org/odoc-interactive-extension

jon.recoil.org / odoc-interactive-extension

this repo has no description

odoc-interactive-extension / src / dune

at main 10 lines 278 B view raw

wrap content

 1(library
 2 (name interactive_extension)
 3 (public_name odoc-interactive-extension.impl)
 4 (libraries odoc.extension_api unix))
 5
 6(plugin
 7 (name odoc-interactive-extension)
 8 (package odoc-interactive-extension)
 9 (libraries odoc-interactive-extension.impl)
10 (site (odoc extensions)))