From 49bd882678d4c6ac2cb4bb7968e97be8d6ad546e Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Tue, 2 Feb 2016 11:28:49 +0100
Subject: [PATCH] make pypi : check that CHANGELOG.md has a mention of the
 version being published

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index c50b971c..db13b68a 100644
--- a/Makefile
+++ b/Makefile
@@ -110,6 +110,7 @@ endef
 pypi: version
 	@if [ $(GIT-CHANGES) != 0 ]; then echo "You have uncommitted changes - cannot publish"; false; fi
 	@if [ -n "$(GIT-TAG-ALREADY-SET)" ] ; then echo "tag $(VERSIONTAG) already set"; false; fi
+	@if ! grep -q ' $(VERSION)' CHANGELOG.md ; then echo no mention of $(VERSION) in CHANGELOG.md; false; fi
 	@echo "You are about to release $(VERSION) - OK (Ctrl-c if not) ? " ; read _
 	git tag $(VERSIONTAG)
 	$(call upload_pypi,pypi)
-- 
2.43.0