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
|
(library
(name img)
(modules img)
(kind ppx_rewriter)
(libraries ppxlib str))
(executable
(name img_doc)
(modules img_doc)
(libraries mlpost.options mlpost))
(rule
(targets circle.png rect.png round_rect.png ellipse.png patatoid.png tex.png
ctr.png north.png south.png west.png east.png north_west.png
south_west.png north_east.png south_east.png width.png height.png
shift.png center.png halign.png hplace.png hbox.png)
(action
(run %{dep:./img_doc.exe} -cairo -png)))
(alias
(name doc)
(deps circle.png rect.png circle.png rect.png round_rect.png ellipse.png
patatoid.png tex.png ctr.png north.png south.png west.png east.png
north_west.png south_west.png north_east.png south_east.png width.png
height.png shift.png center.png halign.png hplace.png hbox.png))
; (install
; (section doc)
; (package mlpost)
; (files circle.png rect.png round_rect.png ellipse.png patatoid.png tex.png
; ctr.png north.png south.png west.png east.png north_west.png
; south_west.png north_east.png south_east.png width.png height.png
; shift.png center.png halign.png hplace.png hbox.png))
|
