diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-11-03 11:40:36 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-03 11:40:36 +0900 |
| commit | b93aa3137af650ea01f3a68bb14e822bffe81309 (patch) | |
| tree | a65106dea736ef2c8b345ac333cd1e287aee17e3 | |
| parent | 93f6ffb62b8dc2cbd16f4bc9b7426e467fd4250c (diff) | |
| parent | 9cd3e1a38925ee4db4b787ad81a2e3605aa5b15d (diff) | |
| download | sphinx-git-b93aa3137af650ea01f3a68bb14e822bffe81309.tar.gz | |
Merge pull request #8345 from sphinx-doc/8342_warning_for_unknown_domain
Fix #8342: Emit a warning if a unknown domain is given for directive or role
| -rw-r--r-- | CHANGES | 3 | ||||
| -rw-r--r-- | sphinx/util/docutils.py | 3 |
2 files changed, 6 insertions, 0 deletions
@@ -43,6 +43,9 @@ Features added Bugs fixed ---------- +* #8342: Emit a warning if a unknown domain is given for directive or role (ex. + ``:unknown:doc:``) + Testing -------- diff --git a/sphinx/util/docutils.py b/sphinx/util/docutils.py index 161575cbd..8ca38bac2 100644 --- a/sphinx/util/docutils.py +++ b/sphinx/util/docutils.py @@ -28,6 +28,7 @@ from docutils.statemachine import StateMachine, State, StringList from docutils.utils import Reporter, unescape from sphinx.errors import SphinxError +from sphinx.locale import _ from sphinx.util import logging from sphinx.util.typing import RoleFunction @@ -208,6 +209,8 @@ class sphinx_domains: element = getattr(domain, type)(name) if element is not None: return element, [] + else: + logger.warning(_('unknown directive or role name: %s:%s'), domain_name, name) # else look in the default domain else: def_domain = self.env.temp_data.get('default_domain') |
