diff options
| author | Johannes Witt <johawitt@outlook.de> | 2021-07-12 12:57:31 +0200 |
|---|---|---|
| committer | Johannes Witt <johawitt@outlook.de> | 2021-07-12 12:57:31 +0200 |
| commit | fa573efa1c34669a60310e1a6de327dd279e28b6 (patch) | |
| tree | b0235790634c657330553c7055893c643584d110 /doc/tools | |
| parent | 9d4afa8b75f8db5ac039d6964c3e523119b750ca (diff) | |
Makerst: Remove redundant GDScript from code blocks
Diffstat (limited to 'doc/tools')
| -rwxr-xr-x | doc/tools/makerst.py | 2 |
1 files changed, 1 insertions, 1 deletions
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 |