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 /man | |
| 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 'man')
0 files changed, 0 insertions, 0 deletions