diff options
Diffstat (limited to 'Doc/tools/buildindex.py')
| -rwxr-xr-x | Doc/tools/buildindex.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/tools/buildindex.py b/Doc/tools/buildindex.py index 6b1682f..644ec43 100755 --- a/Doc/tools/buildindex.py +++ b/Doc/tools/buildindex.py @@ -77,7 +77,8 @@ def split_entry(str, which): return stuff -_rmtt = re.compile(r"(.*)<tt>(.*)</tt>(.*)$", re.IGNORECASE) +_rmtt = re.compile(r"(.*)<tt(?: class=[a-z0-9]+)?>(.*)</tt>(.*)$", + re.IGNORECASE) _rmparens = re.compile(r"\(\)") def split_entry_key(str): |