diff options
| author |  David Bremner <bremner@debian.org> | 2011-12-21 14:48:40 -0400 |
|---|---|---|
| committer | David Bremner <bremner@debian.org> | 2011-12-31 15:16:32 -0400 |
| commit | 3fd1f0e062e06426412b768ac9f77ac96672317f (patch) | |
| tree | 5fbbd79b47ff35dc93c3c8be8c2d9bf753a42695 /debian | |
| parent | af12e5a3ac887cd7dde344f67d9d43688e78e295 (diff) | |
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.
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/notmuch.install | 2 |
1 files changed, 1 insertions, 1 deletions
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 |