(install
 (section lib)
 (package coq)
 (files
  (coqdoc.css as tools/coqdoc/coqdoc.css)
  (coqdoc.sty as tools/coqdoc/coqdoc.sty)))

(executable
 (name main)
 (public_name coqdoc)
 (package coq)
 (libraries str coq.config coq.clib))

(ocamllex cpretty)