projects / mudpy.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6841e0c) | patch
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)
commit1a4a8dcb8c9bb5aaff1d312f5b879781522fb255
tree5cebc02635249aad8d7ee49cb4ef28073880671dtree | snapshot
parent6841e0ca1d916a31178ceab9bb7802f7a055bd52commit | diff
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 diff | blob | history
The mudpy MUD server engine.