diff options
author | Tomi Ollila <tomi.ollila@iki.fi> | 2012-09-04 17:49:13 +0300 |
---|---|---|
committer | David Bremner <bremner@debian.org> | 2012-09-05 08:34:01 -0300 |
commit | 69843dd6283f17656510f1aae197bc263f9633e1 (patch) | |
tree | 54bcbcf469063bfcfc5c6ae3af1b00a725231730 /man | |
parent | a0ce84c3afd6021455fa3685088d409f58d3c510 (diff) |
{., man}/Makefile.local: edit/remove release-checks.sh related targets
Use new target release-checks in place of verify-version-debian,
verify-version-python verify-version-manpage. This target executes
devel/release-checks.sh which does all the verifications the three
dropped targets did, and some more.
Diffstat (limited to 'man')
-rw-r--r-- | man/Makefile.local | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/man/Makefile.local b/man/Makefile.local index d43a949c..72e2a18a 100644 --- a/man/Makefile.local +++ b/man/Makefile.local @@ -32,7 +32,7 @@ COMPRESSED_MAN := $(MAN1_GZ) $(MAN5_GZ) $(MAN7_GZ) %.gz: % gzip --stdout $^ > $@ -.PHONY: install-man update-man-versions verify-version-manpage +.PHONY: install-man update-man-versions install-man: $(COMPRESSED_MAN) mkdir -p "$(DESTDIR)$(mandir)/man1" @@ -43,13 +43,6 @@ install-man: $(COMPRESSED_MAN) install -m0644 $(MAN7_GZ) $(DESTDIR)/$(mandir)/man7 cd $(DESTDIR)/$(mandir)/man1 && ln -sf notmuch.1.gz notmuch-setup.1.gz -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;}' $(MAIN_PAGE)) ] || \ - (echo "No." && \ - echo "Please edit version and notmuch.1 to have consistent versions." && false) - @echo "Good." - update-man-versions: $(MAN_SOURCE) for file in $(MAN_SOURCE); do \ cp $$file $$file.bak ; \ |