diff options
Diffstat (limited to 'man/Makefile.local')
-rw-r--r-- | man/Makefile.local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/Makefile.local b/man/Makefile.local index 0c213d86..a3ae8976 100644 --- a/man/Makefile.local +++ b/man/Makefile.local @@ -11,6 +11,7 @@ MAN1 := \ $(dir)/man1/notmuch-config.1 \ $(dir)/man1/notmuch-count.1 \ $(dir)/man1/notmuch-dump.1 \ + $(dir)/man1/notmuch-restore.1 \ $(dir)/man1/notmuch-new.1 \ $(dir)/man1/notmuch-reply.1 \ $(dir)/man1/notmuch-search.1 \ @@ -41,7 +42,6 @@ install-man: $(COMPRESSED_MAN) 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 - cd $(DESTDIR)/$(mandir)/man1 && ln -s notmuch-dump.1.gz notmuch-restore.1.gz verify-version-manpage: verify-version-components @echo -n "Checking that manual page version is $(VERSION)..." |