blob: e3c792f2777869259101be61e77b0b482a7d4180 (
plain)
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 coq.clib))
(ocamllex cpretty)
|
