Merge pull request #7107 from tk0miya/7106_enumerated_nodes_marked_as_duplicated

Fix #7106: std domain: enumerated nodes are marked as duplicated
This commit is contained in:
Takeshi KOMIYA 2020-02-09 11:24:21 +09:00 committed by GitHub
commit ebb9a9af46
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 1 deletions

View File

@ -92,6 +92,8 @@ Bugs fixed
modifier keys are ignored, which means the feature can interfere with browser modifier keys are ignored, which means the feature can interfere with browser
features features
* #7090: std domain: Can't assign numfig-numbers for custom container nodes * #7090: std domain: Can't assign numfig-numbers for custom container nodes
* #7106: std domain: enumerated nodes are marked as duplicated when extensions
call ``note_explicit_target()``
* #7095: dirhtml: Cross references are broken via intersphinx and ``:doc:`` role * #7095: dirhtml: Cross references are broken via intersphinx and ``:doc:`` role
Testing Testing

View File

@ -173,7 +173,9 @@ class AutoNumbering(SphinxTransform):
domain = self.env.get_domain('std') # type: StandardDomain domain = self.env.get_domain('std') # type: StandardDomain
for node in self.document.traverse(nodes.Element): for node in self.document.traverse(nodes.Element):
if domain.is_enumerable_node(node) and domain.get_numfig_title(node) is not None: if (domain.is_enumerable_node(node) and
domain.get_numfig_title(node) is not None and
node['ids'] == []):
self.document.note_implicit_target(node) self.document.note_implicit_target(node)