diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-04-28 18:26:33 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-04-28 18:26:33 +0000 |
| commit | 2e085b60bbe0dedeedc137f234fd865e0d0e13f6 (patch) | |
| tree | 2e5537e17fe07850b7831a3387f74237f3676a25 /Makefile.devel | |
| parent | 9a3536223c55f9ca8ec348474da8e18f67ea5db4 (diff) | |
Force in .gz target.
Diffstat (limited to 'Makefile.devel')
| -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: |