aboutsummaryrefslogtreecommitdiff
path: root/blog/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2020-12-23 19:11:31 +0100
committerSébastien Dailly <sebastien@chimrod.com>2020-12-23 19:11:31 +0100
commitec812521b31471ce9ac3d9bdf1288b1569defbc8 (patch)
treed384c959b9e9bb2a04141ab56077026fe6e7c7f3 /blog/dune
parent6354358caa1dfbf2fe1d481f6ac5fba3775938fc (diff)
Add svg output
Diffstat (limited to 'blog/dune')
-rwxr-xr-xblog/dune4
1 files changed, 2 insertions, 2 deletions
diff --git a/blog/dune b/blog/dune
index 532a7ee..43b14ed 100755
--- a/blog/dune
+++ b/blog/dune
@@ -3,6 +3,6 @@
(libraries
brr
brr.note
- js_of_ocaml-tyxml)
- (preprocess (pps tyxml-ppx))
+ elements
+ )
)