From 9386012aede385a66c90d0ad329c35a21d0e790e Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Mon, 20 Apr 2026 14:13:49 +0200 Subject: [PATCH] Improve README -> docs translation (once again) --- docs/autogen_docs.py | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/docs/autogen_docs.py b/docs/autogen_docs.py index 2043017c..43976fd9 100644 --- a/docs/autogen_docs.py +++ b/docs/autogen_docs.py @@ -207,6 +207,15 @@ def autogen_about_intro_features(): # remove callouts about_text = re.subn(r"^> \[!\w+\]\s+(^>.*?$)+", "", about_text, flags=re.MULTILINE)[0] + # replace "Quick Demo" with "Video Introduction", removing the short video + about_text = about_text.replace("# Quick Demo", "# Video Introduction") + about_text = re.subn(r"^https://github.com/user-attachments/.*?$", "", about_text, flags=re.MULTILINE)[0] + about_text = about_text.replace(":tv: Longer video:", "Watch our video:") + + # remove emojis (e.g. :tv:) + about_text = re.subn(r":\w+:\s+", "", about_text)[0] + + f.write(f"{about_text}\n\n") jetbrains_marketplace_link = ('```{raw} html\n'