diff options
Diffstat (limited to 'blog')
-rwxr-xr-x | blog/dune | 4 | ||||
-rwxr-xr-x | blog/hash_host/hash_blog.ml (renamed from blog/hash_prod/hash_blog.ml) | 0 | ||||
-rwxr-xr-x | blog/hash_host/hash_localhost.ml (renamed from blog/hash_prod/hash_localhost.ml) | 0 |
3 files changed, 2 insertions, 2 deletions
@@ -1,12 +1,12 @@ (rule (targets hash_host.ml) (enabled_if (= %{profile} dev)) - (action (run cp hash_prod/hash_localhost.ml hash_host.ml))) + (action (run cp hash_host/hash_localhost.ml hash_host.ml))) (rule (targets hash_host.ml) (enabled_if (<> %{profile} dev)) - (action (run cp hash_prod/hash_blog.ml hash_host.ml))) + (action (run cp hash_host/hash_blog.ml hash_host.ml))) (library (name blog) diff --git a/blog/hash_prod/hash_blog.ml b/blog/hash_host/hash_blog.ml index f5e172e..f5e172e 100755 --- a/blog/hash_prod/hash_blog.ml +++ b/blog/hash_host/hash_blog.ml diff --git a/blog/hash_prod/hash_localhost.ml b/blog/hash_host/hash_localhost.ml index c652b6a..c652b6a 100755 --- a/blog/hash_prod/hash_localhost.ml +++ b/blog/hash_host/hash_localhost.ml |