mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
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
This commit is contained in:
3
CHANGES
3
CHANGES
@@ -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
|
||||
--------
|
||||
|
||||
|
||||
@@ -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')
|
||||
|
||||
Reference in New Issue
Block a user