1 files changed, 0 insertions, 15 deletions
diff --git a/Makefile b/Makefile
index ac263385..149a7175 100644
--- a/Makefile
+++ b/Makefile
@@ -152,21 +152,6 @@ clean:
 	$(MAKE) -Copenpgp-ffi clean
 	$(MAKE) -Cffi clean
 
-.PHONY: sanity-check-versions
-sanity-check-versions:
-	set -e ; V=$(VERSION) ; VV=$(shell echo $(VERSION) | cut -d. -f1-2) ;\
-        bad() { echo "bad $$*." ; exit 1 ; } ;\
-	for TOML in */Cargo.toml ; do \
-	  echo -n "$$TOML " ;\
-	  grep '^version *=' $$TOML | grep -q $$V || bad version ;\
-	  grep '^documentation *=' $$TOML \
-	    | egrep -q "($${V})|(https://docs.rs/)" || bad documentation ;\
-	  grep '{ *path *= *"' $$TOML | while read L ; do \
-	    echo $$L | grep -q $$VV || bad intra-workspace dependency ;\
-	  done ;\
-	  echo good. ;\
-	done
-
 .PHONY: codespell
 codespell:
 	$(CODESPELL) $(CODESPELL_FLAGS) \