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

(executable
 (name print_index)
 (modules print_index)
 (libraries odoc_odoc odoc_model_desc compatcmdliner yojson odoc_json_index))

(executable
 (name occurrences_print)
 (modules occurrences_print)
 (libraries odoc_model_desc compatcmdliner odoc_odoc))
