diff options
| author | Jakob Lykke Andersen <Jakob@caput.dk> | 2021-07-13 13:18:16 +0200 |
|---|---|---|
| committer | Jakob Lykke Andersen <Jakob@caput.dk> | 2022-01-16 09:48:06 +0100 |
| commit | 454a1c599e9faf58bcb25e28d6943b4645b48d29 (patch) | |
| tree | 1b6a6b915c11356037540104afdcbebedbf4b814 | |
| parent | 69fa5260fcb243510b513a1cbf0fd9a32cf46d5a (diff) | |
| download | sphinx-git-454a1c599e9faf58bcb25e28d6943b4645b48d29.tar.gz | |
intersphinx: remove dual warning from role resolution
| -rw-r--r-- | sphinx/ext/intersphinx.py | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/sphinx/ext/intersphinx.py b/sphinx/ext/intersphinx.py index 0ad640800..3cfbdf1dd 100644 --- a/sphinx/ext/intersphinx.py +++ b/sphinx/ext/intersphinx.py @@ -555,16 +555,10 @@ class IntersphinxRoleResolver(ReferencesResolver): for node in self.document.traverse(pending_xref): if 'intersphinx' in node: 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) if newnode is None: - self.warn_missing_reference(refdoc, node['reftype'], node['reftarget'], - node, domain) + # no warning, the normal missing_reference handler will do that + pass else: node.replace_self(newnode) |