From 86ebba971c286d6f2a5b056cec4e693760064b2f Mon Sep 17 00:00:00 2001 From: Peter Bruin Date: Wed, 2 Oct 2024 10:14:19 +0200 Subject: [PATCH] translate "Proof" title --- sphinx_proof/directive.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/sphinx_proof/directive.py b/sphinx_proof/directive.py index 9d4595b..ff730c6 100644 --- a/sphinx_proof/directive.py +++ b/sphinx_proof/directive.py @@ -14,9 +14,13 @@ from sphinx.util import logging from docutils.parsers.rst import directives from sphinx.util.docutils import SphinxDirective +from sphinx.locale import get_translation from .nodes import unenumerable_node, NODE_TYPES from .nodes import proof_node +MESSAGE_CATALOG_NAME = "proof" +_ = get_translation(MESSAGE_CATALOG_NAME) + logger = logging.getLogger(__name__) @@ -124,7 +128,7 @@ def run(self) -> List[Node]: section = nodes.admonition(classes=classes, ids=[typ]) - self.content[0] = "{}. ".format(typ.title()) + self.content[0] + self.content[0] = "{}. ".format(_(typ.title())) + self.content[0] self.state.nested_parse(self.content, 0, section) node = proof_node()