diff options
author | Glenn Morris <rgm@gnu.org> | 2008-01-16 05:11:33 +0000 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2008-01-16 05:11:33 +0000 |
commit | 3b5d1638c9d3a8fd822354b588b7e6c017bfb499 (patch) | |
tree | 1ef8c6187e29eff3ba146577b64bd5a4613efc98 /make-dist | |
parent | 420016f5c6479a09740e2d192ff247f1e3828e00 (diff) | |
download | emacs-3b5d1638c9d3a8fd822354b588b7e6c017bfb499.tar.gz |
Fix alignment whitespace in usage.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make-dist b/make-dist index 305112ed153..19c79b4db0c 100755 --- a/make-dist +++ b/make-dist @@ -100,10 +100,10 @@ while [ $# -gt 0 ]; do "--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" |