path: root/tools/coqdoc/dune

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

(ocamllex cpretty)