diff options
author | Glenn Morris <rgm@gnu.org> | 2019-06-09 15:55:24 -0700 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2019-06-09 15:55:24 -0700 |
commit | 3a29764d916905ed8c165e63bc0d581d5f056e63 (patch) | |
tree | f5b2b3c13126c4cdfcfa3d9150973b0ee41253fa /make-dist | |
parent | 323648bf3603c9ea2fa70cd28f26d0f307e61b3e (diff) | |
download | emacs-3a29764d916905ed8c165e63bc0d581d5f056e63.tar.gz |
* make-dist: Doc fix for --help re --snapshot (since 201612 change).
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make-dist b/make-dist index 228ab75a775..d6edb1fefdc 100755 --- a/make-dist +++ b/make-dist @@ -137,7 +137,7 @@ while [ $# -gt 0 ]; do echo " --no-changelog don't generate the top-level ChangeLog" echo " --no-info don't include info files" echo " --no-tests don't include the test/ directory" - echo " --snapshot same as --clean-up --no-update --tar --no-check" + echo " --snapshot same as --clean-up --no-update --tar" echo " --tar make a tar file" echo " --verbose noisier output" echo "" |