diff options
| author | Glenn Morris | 2008-01-16 05:11:33 +0000 |
|---|---|---|
| committer | Glenn Morris | 2008-01-16 05:11:33 +0000 |
| commit | 8772b5a8566ddab4aea41c6bd24d4498f56f793b (patch) | |
| tree | c4632a502f50da77431540621eeb9a83e41bbb56 | |
| parent | ed398055862ab898d8dc3037a537af94ea69910b (diff) | |
| download | emacs-8772b5a8566ddab4aea41c6bd24d4498f56f793b.tar.gz emacs-8772b5a8566ddab4aea41c6bd24d4498f56f793b.zip | |
Fix alignment whitespace in usage.
| -rwxr-xr-x | make-dist | 4 |
1 files changed, 2 insertions, 2 deletions
| @@ -100,10 +100,10 @@ while [ $# -gt 0 ]; do | |||
| 100 | "--help") | 100 | "--help") |
| 101 | echo "Usage: ${progname} [options]" | 101 | echo "Usage: ${progname} [options]" |
| 102 | echo "" | 102 | echo "" |
| 103 | echo " --bzip2 use bzip2 instead of gzip" | 103 | echo " --bzip2 use bzip2 instead of gzip" |
| 104 | echo " --clean-up delete staging directories when done" | 104 | echo " --clean-up delete staging directories when done" |
| 105 | echo " --compress use compress instead of gzip" | 105 | echo " --compress use compress instead of gzip" |
| 106 | echo " --lzma use lzma instead of gzip" | 106 | echo " --lzma use lzma instead of gzip" |
| 107 | echo " --newer=TIME don't include files older than TIME" | 107 | echo " --newer=TIME don't include files older than TIME" |
| 108 | echo " --no-check don't check for bad file names etc." | 108 | echo " --no-check don't check for bad file names etc." |
| 109 | echo " --no-update don't recompile or do analogous things" | 109 | echo " --no-update don't recompile or do analogous things" |