Drop redundant master_doc setting from Sphinx conf
authorJeremy Stanley <fungi@yuggoth.org>
Sat, 19 Sep 2020 14:28:11 +0000 (14:28 +0000)
committerJeremy Stanley <fungi@yuggoth.org>
Sat, 19 Sep 2020 14:28:11 +0000 (14:28 +0000)
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

index d0f203a..61d1276 100755 (executable)
@@ -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'