Add usage summary.

diff --git a/sshauth b/sshauth
index 5ec41a494e4c01a00b20fd641790b4778f26d918..cf8d66850007eac34bfeffca549f5b689f02c88f 100755 (executable)
--- a/sshauth
+++ b/sshauth
@@ -1,5 +1,7 @@
 #!/bin/bash
 DOC="\
+Usage: sshauth [-h] [-c] [-d] [-v] [-p port] [user@]host
+
 This script tries to export ssh public keys to a specified site.  It will
 walk you through generating key pairs if it doesn't find any to export.
 It handles all the fiddly details like making sure local and remote
@@ -11,7 +13,7 @@ Options:
 -c        Check local and remote configuration only, don't try to fix problems.
 -d        Delete remote .ssh configuration.
 -v        Report all commands sent to host and output received.
--p <port> Connect on a particular port in place of 22
+-p <port> Connect on a specified port in place of the default 22
 
 Author: Eric S. Raymond <esr@thyrsus.com>"