diff options
author | Ben Gamari <bgamari.foss@gmail.com> | 2013-10-02 16:30:48 -0400 |
---|---|---|
committer | David Bremner <bremner@debian.org> | 2013-10-09 21:47:39 -0300 |
commit | 1f5ae4e00f011098bfe6816e05c4f6da710cd371 (patch) | |
tree | 6e147a127a734291ae6be359e63eb03d5a9586de /man/Makefile.local | |
parent | 241a88ce2f3c8d76b5a63a202d8455757c0e751e (diff) |
notmuch-compact: Add man page
Signed-off-by: Ben Gamari <bgamari.foss@gmail.com>
Diffstat (limited to 'man/Makefile.local')
-rw-r--r-- | man/Makefile.local | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man/Makefile.local b/man/Makefile.local index 216aaa02..57910b76 100644 --- a/man/Makefile.local +++ b/man/Makefile.local @@ -8,6 +8,7 @@ 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 \ |