# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 961073230 0
# Node ID 43f15cfb67a01e661f8021ff18ac46301b72629b
# Parent  38eb119ab17b1321bdc760d272d022cde9958c68
 Add --help and --snapshot options.

diff -r 38eb119ab17b -r 43f15cfb67a0 make-dist
--- a/make-dist	Thu Jun 15 12:36:48 2000 +0000
+++ b/make-dist	Thu Jun 15 12:47:10 2000 +0000
@@ -74,6 +74,28 @@
     "--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