summaryrefslogtreecommitdiff
path: root/make-dist
diff options
context:
space:
mode:
authorGlenn Morris <rgm@gnu.org>2019-06-09 15:55:24 -0700
committerGlenn Morris <rgm@gnu.org>2019-06-09 15:55:24 -0700
commit3a29764d916905ed8c165e63bc0d581d5f056e63 (patch)
treef5b2b3c13126c4cdfcfa3d9150973b0ee41253fa /make-dist
parent323648bf3603c9ea2fa70cd28f26d0f307e61b3e (diff)
downloademacs-3a29764d916905ed8c165e63bc0d581d5f056e63.tar.gz
* make-dist: Doc fix for --help re --snapshot (since 201612 change).
Diffstat (limited to 'make-dist')
-rwxr-xr-xmake-dist2
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 ""