updating monkeysphere-server usage to reflect new shortcut for update-users.

diff --git a/src/monkeysphere-server b/src/monkeysphere-server
index 35e0096e38be4f9f38a2d32d902a654055c6c345..e099a74a86fdbf7e1f59ea63230dfc30b0bc961e 100755 (executable)
--- a/src/monkeysphere-server
+++ b/src/monkeysphere-server
@@ -34,7 +34,7 @@ usage: $PGRM <subcommand> [args]
 MonkeySphere server admin tool.
 
 subcommands:
-  update-users (s) [USER]...            update users authorized_keys files
+  update-users (u) [USER]...            update users authorized_keys files
   gen-key (g) [HOSTNAME]                generate gpg key for the server
   show-fingerprint (f)                  show server's host key fingerprint
   publish-key (p)                       publish server's host key to keyserver