From 732391859d03e652305de9fdde2c64e8b9fd5a31 Mon Sep 17 00:00:00 2001 From: Jack Gerrits Date: Mon, 2 Dec 2024 16:42:28 -0500 Subject: [PATCH] Update code_lint.py (#4470) --- python/packages/autogen-core/docs/src/_extension/code_lint.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/packages/autogen-core/docs/src/_extension/code_lint.py b/python/packages/autogen-core/docs/src/_extension/code_lint.py index b8c01bfd0..c7138d86b 100644 --- a/python/packages/autogen-core/docs/src/_extension/code_lint.py +++ b/python/packages/autogen-core/docs/src/_extension/code_lint.py @@ -51,7 +51,7 @@ class CodeLinter(Builder): def write_doc(self, docname: str, doctree: nodes.Node) -> None: path_prefix: str = self.app.config.code_lint_path_prefix - supported_languages = set(["python"]) + supported_languages = set(["python", "default"]) if not docname.startswith(path_prefix): return