diff options
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 d3ddbaddca..cd0108019b 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: |