Made default_role_error use logger.

This prevents raising errors for translated docs, see
https://github.com/django/djangoproject.com/issues/997

Follow up to 1cdfe8d912.
This commit is contained in:
Mariusz Felisiak 2020-06-03 11:42:42 +02:00 committed by GitHub
parent 7ec2658e1e
commit 36a2e9607e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 6 deletions

View File

@ -12,9 +12,9 @@ from sphinx import addnodes
from sphinx.builders.html import StandaloneHTMLBuilder
from sphinx.directives.code import CodeBlock
from sphinx.domains.std import Cmdoption
from sphinx.errors import ExtensionError, SphinxError
from sphinx.errors import ExtensionError
from sphinx.util import logging
from sphinx.util.console import bold, red
from sphinx.util.console import bold
from sphinx.writers.html import HTMLTranslator
logger = logging.getLogger(__name__)
@ -378,8 +378,9 @@ def default_role_error(
name, rawtext, text, lineno, inliner, options=None, content=None
):
msg = (
"Default role used (`single backticks`) at line %s: %s. Did you mean "
"to use two backticks for ``code``, or miss an underscore for a "
"`link`_ ?" % (lineno, rawtext)
"Default role used (`single backticks`): %s. Did you mean to use two "
"backticks for ``code``, or miss an underscore for a `link`_ ?"
% rawtext
)
raise SphinxError(red(msg))
logger.warning(msg, location=(inliner.document.current_source, lineno))
return [nodes.Text(text)], []