diff options
author | David Bremner <david@tethera.net> | 2014-05-04 15:10:49 +0900 |
---|---|---|
committer | David Bremner <david@tethera.net> | 2014-05-28 09:52:10 -0300 |
commit | fe8cd90f97a078336612cd441a783096d6350564 (patch) | |
tree | 2716256dc94e5f86401f2aeb42f1122e418ffcf7 /Makefile.local | |
parent | 18565743949174e28576a751ae18b90dcfc60c40 (diff) |
build: add dataclean
It turns out to be inconvenient to delete the downloaded datafiles with
distclean, so I propose a new target which does that instead.
The closest conventional target is 'maintainer-clean'; the difference
here is that having the original source tarball is not enough to
reconstruct these files.
Diffstat (limited to 'Makefile.local')
-rw-r--r-- | Makefile.local | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.local b/Makefile.local index 07e92964..3377d55e 100644 --- a/Makefile.local +++ b/Makefile.local @@ -262,6 +262,10 @@ clean: distclean: clean rm -rf $(DISTCLEAN) +.PHONY: dataclean +dataclean: distclean + rm -rf $(DATACLEAN) + notmuch_client_srcs = \ command-line-arguments.c\ debugger.c \ |