diff options
Diffstat (limited to 'blog/dune')
-rwxr-xr-x | blog/dune | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/blog/dune b/blog/dune deleted file mode 100755 index 648990f..0000000 --- a/blog/dune +++ /dev/null @@ -1,21 +0,0 @@ -(rule - (targets hash_host.ml) - (enabled_if (= %{profile} dev)) - (action (copy# hash_host/hash_localhost.ml hash_host.ml))) - -(rule - (targets hash_host.ml) - (enabled_if (<> %{profile} dev)) - (action (copy# hash_host/hash_blog.ml hash_host.ml))) - -(library - (name blog) - (libraries - brr - brr.note - elements - ) - (preprocess (pps ppx_hash)) - - - ) |