debian: install split man pages.
authorDavid Bremner <bremner@debian.org>
Wed, 21 Dec 2011 18:48:40 +0000 (14:48 -0400)
committerDavid Bremner <bremner@debian.org>
Sat, 31 Dec 2011 19:16:32 +0000 (15:16 -0400)
commit3fd1f0e062e06426412b768ac9f77ac96672317f
tree5fbbd79b47ff35dc93c3c8be8c2d9bf753a42695
parentaf12e5a3ac887cd7dde344f67d9d43688e78e295
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