diff make-dist @ 87784:01f002639254

Fix alignment whitespace in usage.
author Glenn Morris <rgm@gnu.org>
date Wed, 16 Jan 2008 05:11:33 +0000
parents 4bd338a986f8
children fa454b3c5b7b c70e45a7acfd
line wrap: on
line diff
--- a/make-dist	Wed Jan 16 04:33:32 2008 +0000
+++ b/make-dist	Wed Jan 16 05:11:33 2008 +0000
@@ -100,10 +100,10 @@
     "--help")
       echo "Usage: ${progname} [options]"
       echo ""
-      echo "  --bzip2		use bzip2 instead of gzip"
+      echo "  --bzip2	use bzip2 instead of gzip"
       echo "  --clean-up	delete staging directories when done"
       echo "  --compress	use compress instead of gzip"
-      echo "  --lzma		use lzma instead of gzip"
+      echo "  --lzma	use lzma 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"