make pypi :
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 2 Feb 2016 10:28:49 +0000 (11:28 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 3 Feb 2016 16:02:54 +0000 (17:02 +0100)
check that CHANGELOG.md has a mention of the version being published

Makefile

index c50b971..db13b68 100644 (file)
--- 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)