(GZIP_ENV): Define to --no-name, so the timestamp

is not included in the .tar.gz file.

diff --git a/Makefile.maint b/Makefile.maint
index 6db931c646fa8dab941a61204c658fc9794e56be..90d178937113ea8dd86189cf021ebee3888fc396 100644 (file)
--- a/Makefile.maint
+++ b/Makefile.maint
@@ -30,6 +30,9 @@ po-check:
        diff -u $@-1 $@-2
        rm -f $@-1 $@-2
 
+# Do not save the original name or timestamp in the .tar.gz file.
+GZIP_ENV = --no-name
+
 # Tag before making distribution.  Also, don't make a distribution if
 # checks fail.  Also, make sure the NEWS file is up-to-date.
 # FIXME: use dist-hook/my-dist like distcheck-hook/my-distcheck.