diff options
Diffstat (limited to 'Makefile.maint')
| -rw-r--r-- | Makefile.maint | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.maint b/Makefile.maint index 6db931c64..90d178937 100644 --- 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. |