diff options
| -rw-r--r-- | Makefile.local | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile.local b/Makefile.local index 1c3d5f5b..bb5d6762 100644 --- a/Makefile.local +++ b/Makefile.local @@ -138,6 +138,11 @@ DEPS := $(DEPS:%.cc=.deps/%.d) clean: rm -f $(CLEAN); rm -rf .deps +# We don't (yet) have any distributed files not in the upstream repository. +# So distclean is currently identical to clean. +.PHONY: distclean +distclean: clean + notmuch_client_srcs = \ $(notmuch_compat_srcs) \ debugger.c \ |