diff options
Diffstat (limited to 'docs/tools/dump_format_style.py')
| -rw-r--r-- | docs/tools/dump_format_style.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/tools/dump_format_style.py b/docs/tools/dump_format_style.py index 66bad8bb4e7e..fdf03c6244ce 100644 --- a/docs/tools/dump_format_style.py +++ b/docs/tools/dump_format_style.py @@ -17,6 +17,7 @@ def substitute(text, tag, contents): return re.sub(pattern, '%s', text, flags=re.S) % replacement def doxygen2rst(text): + text = re.sub(r'([^/\*])\*', r'\1\\*', text) text = re.sub(r'<tt>\s*(.*?)\s*<\/tt>', r'``\1``', text) text = re.sub(r'\\c ([^ ,;\.]+)', r'``\1``', text) text = re.sub(r'\\\w+ ', '', text) |