diff options
Diffstat (limited to 'sphinx/util/rst.py')
| -rw-r--r-- | sphinx/util/rst.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/util/rst.py b/sphinx/util/rst.py index 0e49f991a..c46389d7e 100644 --- a/sphinx/util/rst.py +++ b/sphinx/util/rst.py @@ -30,7 +30,7 @@ logger = logging.getLogger(__name__) def escape(text): # type: (unicode) -> unicode - text = symbols_re.sub(r'\\\1', text) # type: ignore + text = symbols_re.sub(r'\\\1', text) text = re.sub(r'^\.', r'\.', text) # escape a dot at top return text |