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

fix: Duplicated section name will cause crash. refs #1193

Browse Source
This commit is contained in:
Takayuki Shimizukawa 2013-06-17 04:34:45 +00:00
parent 9bd30c748e
commit 430d0e9895
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
sphinx/transforms.py
View File

@ -213,9 +213,10 @@ class Locale(Transform):
if old_name in names: if old_name in names:
names.remove(old_name) names.remove(old_name)
id = self.document.nameids.pop(old_name) _id = self.document.nameids.pop(old_name, None)
_type = self.document.nametypes.pop(old_name, None)
self.document.set_name_id_map( self.document.set_name_id_map(
section_node, id, section_node, explicit=None) section_node, _id, section_node, explicit=_type)
# auto-numbered foot note reference should use original 'ids'. # auto-numbered foot note reference should use original 'ids'.
def is_autonumber_footnote_ref(node): def is_autonumber_footnote_ref(node):