From: David Bremner <david@tethera.net>
Date: Sun, 16 Aug 2020 15:27:11 +0000 (-0300)
Subject: build: clean up sphinx.config
X-Git-Tag: archive/debian/0.31_rc1-1~4
X-Git-Url: https://git.cworth.org/git?p=notmuch;a=commitdiff_plain;h=a1b1fe85c2fe17dcce635b36f3bcb8cf514e3636

build: clean up sphinx.config

Follow the existing practice and remove it under "distclean", same as
sh.config and Makefile.config
---

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