From f5409d480a90ed19a2b2ea60f417945cdf297025 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 26 Aug 2021 10:07:48 -0400
Subject: [PATCH] chore: remove dead makefile target

---
 Makefile | 6 ------
 1 file changed, 6 deletions(-)

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