"release" is not allowed to be used by users. Un-document it.

diff --git a/all b/all
index 66d20aba900dd41130dfabfbfe464db0b2223bd3..948d03236fe62f05c9709a4bc5ebbecb33dc58f3 100755 (executable)
--- a/all
+++ b/all
@@ -2014,7 +2014,6 @@ case "$cmd" in
                $ECHO "  $SELF keygen"
                $ECHO "  $SELF merge"
                $ECHO "  $SELF push|commit [-s]"
-               $ECHO "  $SELF release"
                $ECHO "  $SELF restore-patches"
                $ECHO "  $SELF run [sdl|glx|wgl|agl|dedicated] options..."
                $ECHO "  $SELF save-patches"