(library
  (public_name odoc-docsite.impl)
  (name odoc_docsite)
  (libraries odoc.html odoc.extension_api))

(plugin
  (name odoc-docsite)
  (libraries odoc-docsite.impl)
  (site (odoc extensions)))