remove old git documentation

[monkeysphere.git] / src / monkeysphere

diff --git a/src/monkeysphere b/src/monkeysphere
index 475053349f77ce8664e89be0efb7f38ae1ded33b..14d2bf042593f9ae1f8995a57cbbcf7bf40c33ce 100755 (executable)
--- a/src/monkeysphere
+++ b/src/monkeysphere
@@ -212,10 +212,11 @@ LOG_PREFIX=${MONKEYSPHERE_LOG_PREFIX='ms: '}
 export GNUPGHOME
 mkdir -p -m 0700 "$GNUPGHOME"
 export LOG_LEVEL
+export LOG_PREFIX
 
 # get subcommand
 COMMAND="$1"
-[ "$COMMAND" ] || failure "Type '$PGRM help' for usage."
+[ "$COMMAND" ] || $PGRM help
 shift
 
 case $COMMAND in