From 3fd1f0e062e06426412b768ac9f77ac96672317f Mon Sep 17 00:00:00 2001 From: David Bremner Date: Wed, 21 Dec 2011 14:48:40 -0400 Subject: [PATCH] debian: install split man pages. We now have man pages in sections 5 and 7 as well, so we copy the whole /usr/share/man hierarchy. --- debian/notmuch.install | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/notmuch.install b/debian/notmuch.install index fff498d2..86e891d4 100644 --- a/debian/notmuch.install +++ b/debian/notmuch.install @@ -1,3 +1,3 @@ usr/bin -usr/share/man/man1 +usr/share/man etc/bash_completion.d -- 2.26.2