diff options
| author |  Jameson Graef Rollins <jrollins@finestructure.net> | 2011-12-26 22:36:32 -0800 |
|---|---|---|
| committer |  David Bremner <bremner@debian.org> | 2011-12-31 15:16:32 -0400 |
| commit | f079f5f931e40eb57abd93c5d0d6de515f48eafd (patch) | |
| tree | 2322b65e68ac005194b052b250980b40a7aeec8e /man/Makefile.local | |
| parent | 77b8d70600193cf9e4d84a4281de6da0d5224c3b (diff) | |
break up dump and restore man pages.
These functions are enough different in their behavior that it's not
really worth it to combine them. They overlap in the format of the
dump file, but we can have a separate page that describes the dump
format, and either reference it or include it. This also keeps things
nice and clean with one page per command.
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)..." |