diff options
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/tools/makerst.py | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/doc/tools/makerst.py b/doc/tools/makerst.py index adbd810d11..289e967a93 100755 --- a/doc/tools/makerst.py +++ b/doc/tools/makerst.py @@ -155,9 +155,19 @@ def rstize_text(text, cclass): text = pre_text + "\n\n" + post_text pos += 2 + next_brac_pos = text.find('[') + + # Escape \ character, otherwise it ends up as an escape character in rst + pos = 0 + while True: + pos = text.find('\\', pos, next_brac_pos) + if pos == -1: + break + text = text[:pos] + "\\\\" + text[pos + 1:] + pos += 2 + # Escape * character to avoid interpreting it as emphasis pos = 0 - next_brac_pos = text.find('[') while True: pos = text.find('*', pos, next_brac_pos) if pos == -1: |