diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-12-11 14:07:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-11 14:07:07 +0100 |
| commit | 244cc11edd7ba5cae95a909ada2fec207631ffc8 (patch) | |
| tree | ab78acc0c9ee435467990530c23845c028e06889 | |
| parent | 1a82877accdff4c452ee7cd796b54348eba38ad7 (diff) | |
| parent | a720993cc8ee53e635c254ddbc2996c1f79f9a55 (diff) | |
Merge pull request #24266 from JoaoAlvaroFerreira/master
Fixes docs displaying error if xml has parentheses after brackets
| -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 7b7cc52547..9e83dfb55e 100755 --- a/doc/tools/makerst.py +++ b/doc/tools/makerst.py @@ -280,7 +280,7 @@ def rstize_text(text, cclass): escape_post = True # Properly escape things like `[Node]s` - if escape_post and post_text and post_text[0].isalnum(): # not punctuation, escape + if escape_post and post_text and (post_text[0].isalnum() or post_text[0] == "("): # not punctuation, escape post_text = '\ ' + post_text next_brac_pos = post_text.find('[', 0) |