summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorJameson Graef Rollins <jrollins@phys.columbia.edu>2008-07-20 01:25:34 -0700
committerJameson Graef Rollins <jrollins@phys.columbia.edu>2008-07-20 01:25:34 -0700
commit7afba903dd5b325b3a65e01c7a446e62eef7f4a1 (patch)
treeb57de36ef3dc8ef00fc889ca854839d19124c509 /debian
parent9a925fb7d12ebe4d5d6cb60b0ed7a26fb596794c (diff)
fix man page packaging.
Diffstat (limited to 'debian')
-rw-r--r--debian/dirs5
-rw-r--r--debian/monkeysphere.manpages1
2 files changed, 4 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
diff --git a/debian/monkeysphere.manpages b/debian/monkeysphere.manpages
index a8f6c16..ab99bbf 100644
--- a/debian/monkeysphere.manpages
+++ b/debian/monkeysphere.manpages
@@ -1,4 +1,5 @@
man/man1/monkeysphere.1
man/man1/openpgp2ssh.1
man/man1/monkeysphere-ssh-proxycommand.1
+man/man5/monkeysphere.5
man/man8/monkeysphere-server.8