tools/coqdoc/dune


1
2
3
4
5
6
7
8
9
10
11
12
13
14

(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))

(ocamllex cpretty)