diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-07-12 13:35:37 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-12 13:35:37 +0200 |
commit | 8dccf0f9b5a89c08cdff8154c34f0d975cc0f740 (patch) | |
tree | 48cabf7e47f3d0af0a1dc6cb21a06fb62454e46d | |
parent | b27683111b95495daf2cf2a39de3ef56fd57bf20 (diff) | |
parent | fa573efa1c34669a60310e1a6de327dd279e28b6 (diff) |
Merge pull request #50394 from HaSa1002/make-rst-code-blocks-less-redundant
Makerst: Remove redundant GDScript from code blocks
-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 |