projects / mudpy.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 1a4a8dc)
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.


No differences found
The mudpy MUD server engine.