1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
(install
(section lib)
(package rocq-runtime)
(files
(coqdoc.css as tools/coqdoc/coqdoc.css)
(coqdoc.sty as tools/coqdoc/coqdoc.sty)))
; File needs to be here too.
(install
(section share_root)
(package rocq-runtime)
(files
(coqdoc.sty as texmf/tex/latex/misc/coqdoc.sty)))
(library
(name coqdoclib)
(modules :standard \ coqdoc)
(libraries str rocq-runtime.boot rocq-runtime.config rocq-runtime.clib))
(executable
(name coqdoc)
(public_name coqdoc)
(package coq-core)
(modules coqdoc)
(libraries coqdoclib))
(ocamllex cpretty)
|
