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