diff options
author | David Bremner <david@tethera.net> | 2020-08-16 12:27:11 -0300 |
---|---|---|
committer | David Bremner <david@tethera.net> | 2020-08-16 12:27:11 -0300 |
commit | a1b1fe85c2fe17dcce635b36f3bcb8cf514e3636 (patch) | |
tree | 98850b851b67616a190f0542fcdca70700ef06e1 | |
parent | 8776faf6d5118e8152ecfacf94accf35ccebf1d2 (diff) |
build: clean up sphinx.config
Follow the existing practice and remove it under "distclean", same as
sh.config and Makefile.config
-rw-r--r-- | Makefile.local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.local b/Makefile.local index 156c8ce1..c65cee7c 100644 --- a/Makefile.local +++ b/Makefile.local @@ -294,7 +294,7 @@ CLEAN := $(CLEAN) notmuch notmuch-shared $(notmuch_client_modules) CLEAN := $(CLEAN) version.stamp notmuch-*.tar.gz.tmp CLEAN := $(CLEAN) .deps -DISTCLEAN := $(DISTCLEAN) .first-build-message Makefile.config sh.config +DISTCLEAN := $(DISTCLEAN) .first-build-message Makefile.config sh.config sphinx.config CPPCHECK_STAMPS := $(SRCS:%=.stamps/cppcheck/%) .PHONY: cppcheck |