summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorDaniel Kahn Gillmor <dkg@fifthhorseman.net>2008-06-13 12:25:58 -0400
committerDaniel Kahn Gillmor <dkg@fifthhorseman.net>2008-06-13 12:25:58 -0400
commitb93d6398d799376a572414a30d7b4f02beadd137 (patch)
tree14378a31adb9c11fb2e995205af4ff254bfcc750 /debian
parentca5d2766c5c143a34b095c5dcb3c829285b2c28e (diff)
parent3caa700a0443ab2499da42d32b3ffcd7039fc591 (diff)
Merge commit 'jrollins/master'
Diffstat (limited to 'debian')
-rw-r--r--debian/monkeysphere.manpages1
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/monkeysphere.manpages b/debian/monkeysphere.manpages
index 6e2cb92..a8f6c16 100644
--- a/debian/monkeysphere.manpages
+++ b/debian/monkeysphere.manpages
@@ -1,3 +1,4 @@
man/man1/monkeysphere.1
man/man1/openpgp2ssh.1
+man/man1/monkeysphere-ssh-proxycommand.1
man/man8/monkeysphere-server.8