aboutsummaryrefslogtreecommitdiff
path: root/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2020-12-22 21:42:55 +0100
committerSébastien Dailly <sebastien@chimrod.com>2020-12-22 21:42:55 +0100
commit6354358caa1dfbf2fe1d481f6ac5fba3775938fc (patch)
tree4fd24d821f37a0626754f6f5078ac77ffe5c469c /dune
parent1f1f13a3f02e7f5f5da5926a402d53f2ccbfe536 (diff)
Blog integration
Diffstat (limited to 'dune')
-rwxr-xr-xdune3
1 files changed, 2 insertions, 1 deletions
diff --git a/dune b/dune
index f3149ef..ea5d723 100755
--- a/dune
+++ b/dune
@@ -9,10 +9,11 @@
messages
messages_json
worker
- path
shapes
tools
events
+ blog
+ path
)
(modes js)
(preprocess (pps js_of_ocaml-ppx))