diff options
-rw-r--r-- | Makefile.devel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index a3b54794..6bd783dc 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -174,7 +174,7 @@ ELC=$(EL:.el=.elc) $(BYTECOMP) $*.el %.gz: % - gzip $* + gzip -f $* FORCE: |