(library
 (name odoc_odoc)
 (public_name odoc.odoc)
 (libraries
  compiler-libs.common
  fpath
  odoc_html
  odoc_html_support_files
  odoc_latex
  odoc_loader
  odoc_manpage
  odoc_model
  odoc_xref2
  tyxml
  unix)
 (instrumentation
  (backend bisect_ppx)))

(documentation
 (package odoc))

; Install theme files for odig.

(install
 (package odoc)
 (section share)
 (files
  (../html_support_files/odoc.css as odoc-theme/default/odoc.css)))
