Add --help and --snapshot options.

diff --git a/make-dist b/make-dist
index 06cb8320af67a599e62bea0c4e0509964e48e2e3..5aa1c17ca5e33065918a0e5d8f1aa8c48c15ab9f 100755 (executable)
--- a/make-dist
+++ b/make-dist
@@ -74,6 +74,28 @@ while [ $# -gt 0 ]; do
     "--compress")
       default_gzip="compress"
     ;;
+
+    "--snapshot")
+      clean_up=yes
+      make_tar=yes
+      update=no
+      check=no
+     ;;
+
+    "--help")
+      echo "Usage: ${progname} [options]"
+      echo ""
+      echo "  --clean-up       delete staging directories when done"
+      echo "  --compress       use compress instead of gzip"
+      echo "  --newer=TIME     don't include files older than TIME"
+      echo "  --no-check       don't check for bad file names etc."
+      echo "  --no-update      don't recompile or do analogous things"
+      echo "  --snapshot       same as --clean-up --no-update --tar --no-check"
+      echo "  --tar            make a tar file"
+      echo ""
+      exit 0
+    ;;
+
     * )
       echo "${progname}: Unrecognized argument: $1" >&2
       exit 1