(library
 (name odoc_html_frontend)
 (public_name odoc.search_html_frontend)
 (libraries tyxml)
 (modules odoc_html_frontend))

(library
 (name odoc_search)
 (public_name odoc.search)
 (libraries odoc_html odoc_model odoc_html_frontend tyxml)
 (modules :standard \ odoc_html_frontend))
