blob: 432d88b2ff416a8bf4780287aae8631f4a2afd7a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
(install
(section lib)
(package coq-core)
(files
(coqdoc.css as tools/coqdoc/coqdoc.css)
(coqdoc.sty as tools/coqdoc/coqdoc.sty)))
; File needs to be here too.
(install
(section share)
(package coq-core)
(files
(coqdoc.sty as texmf/tex/latex/misc/coqdoc.sty)))
(executable
(name main)
(public_name coqdoc)
(package coq-core)
(libraries str coq-core.config coq-core.clib))
(ocamllex cpretty)
|
