diff options
| author | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-07-20 01:25:34 -0700 |
|---|---|---|
| committer | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-07-20 01:25:34 -0700 |
| commit | 7afba903dd5b325b3a65e01c7a446e62eef7f4a1 (patch) | |
| tree | b57de36ef3dc8ef00fc889ca854839d19124c509 /debian/dirs | |
| parent | 9a925fb7d12ebe4d5d6cb60b0ed7a26fb596794c (diff) | |
fix man page packaging.
Diffstat (limited to 'debian/dirs')
| -rw-r--r-- | debian/dirs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/debian/dirs b/debian/dirs index 43b742a..e9390a7 100644 --- a/debian/dirs +++ b/debian/dirs @@ -5,7 +5,8 @@ usr/sbin usr/share usr/share/monkeysphere usr/share/man -usr/share/man1 -usr/share/man8 +usr/share/man/man1 +usr/share/man/man5 +usr/share/man/man8 etc/monkeysphere etc/monkeysphere/authorized_user_ids |