projects
/
mudpy.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
6841e0c
)
Drop redundant master_doc setting from Sphinx conf
author
Jeremy Stanley
<fungi@yuggoth.org>
Sat, 19 Sep 2020 14:28:11 +0000
(14:28 +0000)
committer
Jeremy 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
patch
|
blob
|
history
diff --git
a/doc/source/conf.py
b/doc/source/conf.py
index
d0f203a
..
61d1276
100755
(executable)
--- 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'