Merge remote-tracking branch 'origin/update-user-guide' into update-user-guide

2025-11-09 15:59:34 +08:00 · 2025-11-09 15:59:34 +08:00 · d526cf10ba
parent 16984ec201 3b98ce9c84
commit d526cf10ba
1 changed files with 4 additions and 1 deletions
--- a/scripts/docs.py
+++ b/scripts/docs.py
@ -297,7 +297,10 @@ def live(
    if dirty:
        args.append("--dirty")
    subprocess.run(
-        args, env={**os.environ, "LINENUMS": "true", "PYTHONUTF8": "1"}, cwd=lang_path, check=True
+        args,
+        env={**os.environ, "LINENUMS": "true", "PYTHONUTF8": "1"},
+        cwd=lang_path,
+        check=True,
    )