(library
 (name odoc_json_index)
 (public_name odoc.json_index)
 (libraries tyxml odoc_model odoc_search))
