diff options
| author | Martin Capitanio | 2017-11-18 01:29:32 +0100 |
|---|---|---|
| committer | Martin Capitanio | 2017-11-19 20:47:36 +0100 |
| commit | 7c3ba6f72bf06755cec0439d8560ca72ef80b780 (patch) | |
| tree | d08b82753a8b505cd2286774924bd85324bef271 /doc/tools | |
| parent | 249c11784acd1c2b206efc2ab408c638bcd01287 (diff) | |
| download | godot-7c3ba6f72bf06755cec0439d8560ca72ef80b780.tar.gz godot-7c3ba6f72bf06755cec0439d8560ca72ef80b780.tar.zst godot-7c3ba6f72bf06755cec0439d8560ca72ef80b780.zip | |
Diffstat (limited to 'doc/tools')
| -rw-r--r-- | doc/tools/makerst.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/tools/makerst.py b/doc/tools/makerst.py index d3ddbaddc..cd0108019 100644 --- a/doc/tools/makerst.py +++ b/doc/tools/makerst.py @@ -207,6 +207,7 @@ def rstize_text(text, cclass): elif cmd == '/code': tag_text = '``' inside_code = False + escape_post = True elif inside_code: tag_text = '[' + tag_text + ']' elif cmd.find('html') == 0: |