diff --git a/Makefile b/Makefile index 722d9052..f70f36e6 100644 --- a/Makefile +++ b/Makefile @@ -30,12 +30,6 @@ update_next_tag: sed -i "s/NEXT_VERSION/$(VERSION)/g" $(wildcard src/**/*.ml) $(wildcard src/**/*.mli) sed -i "s/NEXT_RELEASE/$(VERSION)/g" $(wildcard src/**/*.ml) $(wildcard src/**/*.mli) -release: update_next_tag - @echo "release version $(VERSION)..." - git tag -f $(VERSION) ; git push origin :$(VERSION) ; git push origin $(VERSION) - opam publish prepare https://github.com/c-cube/qcheck/archive/$(VERSION).tar.gz - @echo "review the release, then type 'opam publish submit qcheck.$(VERSION)/'" - WATCH?=@all watch: @dune build $(WATCH) -w