blob: cc888a959f07702f08669501928c44b6e1579ba4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
(install
(section lib)
(package coq-core)
(files
(coqdoc.css as tools/coqdoc/coqdoc.css)
(coqdoc.sty as tools/coqdoc/coqdoc.sty)))
(executable
(name main)
(public_name coqdoc)
(package coq-core)
(libraries str coq-core.config coq-core.clib))
(ocamllex cpretty)
|
