diff options
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 ; \ |