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

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

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