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)
We now have man pages in sections 5 and 7 as well, so we copy the
whole /usr/share/man hierarchy.

debian/notmuch.install

index fff498d20f55896121a232da5a46a877e6f04005..86e891d4aefc5ad6a593b68f81981dfa85bbcf45 100644 (file)
@@ -1,3 +1,3 @@
 usr/bin
-usr/share/man/man1
+usr/share/man
 etc/bash_completion.d