mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
intersphinx: remove dual warning from role resolution
This commit is contained in:
parent
69fa5260fc
commit
454a1c599e
@ -555,16 +555,10 @@ class IntersphinxRoleResolver(ReferencesResolver):
|
|||||||
for node in self.document.traverse(pending_xref):
|
for node in self.document.traverse(pending_xref):
|
||||||
if 'intersphinx' in node:
|
if 'intersphinx' in node:
|
||||||
contnode = cast(nodes.TextElement, node[0].deepcopy())
|
contnode = cast(nodes.TextElement, node[0].deepcopy())
|
||||||
refdoc = node.get('refdoc', self.env.docname)
|
|
||||||
try:
|
|
||||||
domain = self.env.get_domain(node['refdomain'])
|
|
||||||
except Exception:
|
|
||||||
domain = None
|
|
||||||
|
|
||||||
newnode = missing_reference(self.app, self.env, node, contnode)
|
newnode = missing_reference(self.app, self.env, node, contnode)
|
||||||
if newnode is None:
|
if newnode is None:
|
||||||
self.warn_missing_reference(refdoc, node['reftype'], node['reftarget'],
|
# no warning, the normal missing_reference handler will do that
|
||||||
node, domain)
|
pass
|
||||||
else:
|
else:
|
||||||
node.replace_self(newnode)
|
node.replace_self(newnode)
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user