From ccc8d098859d3aa08819e8b8928d676f28fc8d48 Mon Sep 17 00:00:00 2001 From: Dennis den Ouden-van der Horst Date: Sun, 4 Jan 2026 12:15:35 +0100 Subject: [PATCH] Register prf:example directive in prf domain Added app.add_directive_to_domain to ensure the 'prf:example' directive is registered within the 'prf' domain using CodexDirective. This improves compatibility with domain-specific directive handling. --- src/sphinx_code_examples/__init__.py | 1 + 1 file changed, 1 insertion(+) diff --git a/src/sphinx_code_examples/__init__.py b/src/sphinx_code_examples/__init__.py index 0cc7cb9..a282ba4 100644 --- a/src/sphinx_code_examples/__init__.py +++ b/src/sphinx_code_examples/__init__.py @@ -126,6 +126,7 @@ def replace_prf_example(app: Sphinx, config: Config) -> None: # only called if merge_with_proof is True # overrides the prf:example directive to use codex directive app.add_directive('prf:example', CodexDirective,override=True) + app.add_directive_to_domain('prf','example', CodexDirective,override=True) def check_config(app: Sphinx, config: Config) -> None: # check validity of config and act accordingly