]> git.cworth.org Git - notmuch/commitdiff
build: clean up sphinx.config
authorDavid Bremner <david@tethera.net>
Sun, 16 Aug 2020 15:27:11 +0000 (12:27 -0300)
committerDavid Bremner <david@tethera.net>
Sun, 16 Aug 2020 15:27:11 +0000 (12:27 -0300)
Follow the existing practice and remove it under "distclean", same as
sh.config and Makefile.config


No differences found