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

A graphviz extension for odoc

odoc-dot-extension / src / dune

at main 10 lines 245 B view raw

wrap content

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