diff --git a/Makefile b/Makefile index 0c10fc30a50b270dfdb7ea0e37b35c7b15bf0303..d3c8c2b17b25dd710ca3c03a34596505b1264d6d 100644 --- a/Makefile +++ b/Makefile @@ -71,6 +71,7 @@ release: @ make uninstall @ make clean @ make install + @ make uninstall # Check the current package description. @ opam lint # Check if everything has been committed. @@ -113,7 +114,7 @@ versions: for v in $(VERSIONS) ; do \ echo "(context (opam (switch $$v)))" ; \ done) > dune-workspace.versions - @ dune build --workspace dune-workspace.versions @all + @ dune build --workspace dune-workspace.versions @install .PHONY: handiwork handiwork: