From 1a4a8dcb8c9bb5aaff1d312f5b879781522fb255 Mon Sep 17 00:00:00 2001 From: Jeremy Stanley Date: Sat, 19 Sep 2020 14:28:11 +0000 Subject: [PATCH] Drop redundant master_doc setting from Sphinx conf The master_doc option to Sphinx already defaults to looking for a document named "index" so it's unnecessary to set explicitly in our case. Clean it up. --- doc/source/conf.py | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/source/conf.py b/doc/source/conf.py index d0f203a..61d1276 100755 --- a/doc/source/conf.py +++ b/doc/source/conf.py @@ -39,6 +39,5 @@ html_title = 'mudpy' htmlhelp_basename = '%sdoc' % project latex_documents = [( 'index', '%s.tex' % project, '%s' % project, 'Jeremy Stanley', 'manual')] -master_doc = 'index' pygments_style = 'sphinx' source_suffix = '.rst' -- 2.11.0