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
28
29
30
31
32
33
34
35
36
|
(rule
(with-stdout-to
dune.1
(run %{bin:dune} --help=groff)))
(install
(section man)
(package dune)
(files dune.1))
(rule
(with-stdout-to
dune-config.5
(run %{bin:dune} help config --man-format=groff)))
(install
(section man)
(package dune)
(files dune-config.5))
(include dune.inc)
(rule
(alias runtest)
(mode promote)
(deps
(package dune))
(action
(with-stdout-to
dune.inc
(run bash %{dep:update-jbuild.sh}))))
(documentation
(package dune))
(data_only_dirs tutorials)
|
