diff --git a/src/lib/dune b/src/lib/dune index 3588916b..1e6aff4a 100644 --- a/src/lib/dune +++ b/src/lib/dune @@ -13,7 +13,9 @@ (rule (target version.ml) - (deps (file .git_index.lnk) gen_version.sh) + (deps + (file .git_index.lnk) + gen_version.sh) (action (with-stdout-to version.ml