diff --git a/Makefile b/Makefile index 4cfc21d..d566257 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ all: - dune build @install @runtest --dev + dune build @install @runtest install: dune install