IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Mark master_doc as assigned numbers

Browse Source
This commit is contained in:
tk0miya
2014-08-19 11:02:24 +09:00
parent 57cc7dfa05
commit 137de0ddc8
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
sphinx/environment.py
View File

@@ -1496,6 +1496,7 @@ class BuildEnvironment:
rewrite_needed.append(ref)
for docname in self.numbered_toctrees:
assigned.append(docname)
doctree = self.get_doctree(docname)
for toctreenode in doctree.traverse(addnodes.toctree):
depth = toctreenode.get('numbered', 0)