From: David Bremner <bremner@debian.org>
Date: Wed, 21 Dec 2011 18:48:40 +0000 (-0400)
Subject: debian: install split man pages.
X-Git-Tag: debian/0.12_rc1-1~244
X-Git-Url: https://git.cworth.org/git?a=commitdiff_plain;h=3fd1f0e062e06426412b768ac9f77ac96672317f;hp=af12e5a3ac887cd7dde344f67d9d43688e78e295;p=notmuch

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.
---

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