diff options
| -rw-r--r-- | sphinx/util/__init__.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/util/__init__.py b/sphinx/util/__init__.py index 72b2a9c8..50c5bd3f 100644 --- a/sphinx/util/__init__.py +++ b/sphinx/util/__init__.py @@ -443,7 +443,7 @@ def split_explicit_title(text): """Split role content into title and target, if given.""" match = explicit_title_re.match(text) if match: - return True, m.group(1), m.group(2) + return True, match.group(1), match.group(2) return False, text, text # monkey-patch Node.traverse to get more speed |