aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.local
diff options
context:
space:
mode:
authorGravatar Tomi Ollila <tomi.ollila@iki.fi>2011-11-21 18:27:09 +0200
committerGravatar David Bremner <bremner@debian.org>2011-11-24 08:44:45 -0400
commitfa3e2bad397fa3d8cb3e6edb99c55f8e00fecf04 (patch)
tree1124878e4a24cb837106b1cb08ac01d04bfc1313 /Makefile.local
parent12197e89ad20a5e3a4d9b1de8394e9727fb46946 (diff)
make release: added goal verify-version-manpage
Check that the version mentioned in notmuch manual page is consistent with the version file.
Diffstat (limited to 'Makefile.local')
-rw-r--r--Makefile.local10
1 files changed, 9 insertions, 1 deletions
diff --git a/Makefile.local b/Makefile.local
index b6e216a2..02afdd0f 100644
--- a/Makefile.local
+++ b/Makefile.local
@@ -187,7 +187,7 @@ release-message:
verify-source-tree-and-version: verify-no-dirty-code
.PHONY: verify-no-dirty-code
-verify-no-dirty-code: verify-version-debian verify-version-python
+verify-no-dirty-code: verify-version-debian verify-version-python verify-version-manpage
ifeq ($(IS_GIT),yes)
@printf "Checking that source tree is clean..."
ifneq ($(shell git ls-files -m),)
@@ -220,6 +220,14 @@ verify-version-python: verify-version-components
echo "Please edit version and $(PV_FILE) to have consistent versions." && false)
@echo "Good."
+.PHONY: verify-version-manpage
+verify-version-manpage: verify-version-components
+ @echo -n "Checking that manual page version is $(VERSION)..."
+ @[ "$(VERSION)" = $$(sed -n '/^[.]TH NOTMUCH 1/{s/.*"Notmuch //;s/".*//p;}' notmuch.1) ] || \
+ (echo "No." && \
+ echo "Please edit version and notmuch.1 to have consistent versions." && false)
+ @echo "Good."
+
.PHONY: verify-version-components
verify-version-components:
@echo -n "Checking that $(VERSION) consists only of digits and periods..."