X-Git-Url: https://git.notmuchmail.org/git?a=blobdiff_plain;f=man%2FMakefile.local;h=57910b76ba6a32194740aa309d6d2a43fc9a3537;hb=2ec69fd39e4b1132032b700ec678d3dfa082c74a;hp=a3ae8976318c1d6403a690ecfac6bf7af0f26279;hpb=f079f5f931e40eb57abd93c5d0d6de515f48eafd;p=notmuch

diff --git a/man/Makefile.local b/man/Makefile.local
index a3ae8976..57910b76 100644
--- a/man/Makefile.local
+++ b/man/Makefile.local
@@ -8,10 +8,12 @@ MAIN_PAGE := $(dir)/man1/notmuch.1
 
 MAN1 := \
 	$(MAIN_PAGE) \
+	$(dir)/man1/notmuch-compact.1 \
 	$(dir)/man1/notmuch-config.1 \
 	$(dir)/man1/notmuch-count.1 \
 	$(dir)/man1/notmuch-dump.1 \
 	$(dir)/man1/notmuch-restore.1 \
+	$(dir)/man1/notmuch-insert.1 \
 	$(dir)/man1/notmuch-new.1 \
 	$(dir)/man1/notmuch-reply.1 \
 	$(dir)/man1/notmuch-search.1 \
@@ -32,7 +34,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"
@@ -41,14 +43,7 @@ install-man: $(COMPRESSED_MAN)
 	install -m0644 $(MAN1_GZ) $(DESTDIR)/$(mandir)/man1
 	install -m0644 $(MAN5_GZ) $(DESTDIR)/$(mandir)/man5
 	install -m0644 $(MAN7_GZ) $(DESTDIR)/$(mandir)/man7
-	cd $(DESTDIR)/$(mandir)/man1 && ln -s 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."
+	cd $(DESTDIR)/$(mandir)/man1 && ln -sf notmuch.1.gz notmuch-setup.1.gz
 
 update-man-versions: $(MAN_SOURCE)
 	for file in $(MAN_SOURCE); do \