From a1b1fe85c2fe17dcce635b36f3bcb8cf514e3636 Mon Sep 17 00:00:00 2001
From: David Bremner <david@tethera.net>
Date: Sun, 16 Aug 2020 12:27:11 -0300
Subject: [PATCH] build: clean up sphinx.config

Follow the existing practice and remove it under "distclean", same as
sh.config and Makefile.config
---
 Makefile.local | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.43.0