(library
 (name type_desc_to_yojson)
 (modules type_desc_to_yojson)
 (libraries odoc_model_desc yojson))

(executable
 (name odoc_print)
 (modules odoc_print)
 (libraries
  odoc_odoc
  cmdliner
  type_desc_to_yojson
  odoc_model_desc
  compatcmdliner))
