From fa573efa1c34669a60310e1a6de327dd279e28b6 Mon Sep 17 00:00:00 2001 From: Johannes Witt Date: Mon, 12 Jul 2021 12:57:31 +0200 Subject: Makerst: Remove redundant GDScript from code blocks --- doc/tools/makerst.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/tools/makerst.py b/doc/tools/makerst.py index 87c79048d8..9be7751d3d 100755 --- a/doc/tools/makerst.py +++ b/doc/tools/makerst.py @@ -842,7 +842,7 @@ def rstize_text(text, state): # type: (str, State) -> str inside_code = True elif cmd == "gdscript": tag_depth += 1 - tag_text = "\n .. code-tab:: gdscript GDScript\n" + tag_text = "\n .. code-tab:: gdscript\n" inside_code = True elif cmd == "csharp": tag_depth += 1 -- cgit v1.2.3