Make the _rmtt regular expression deal with the new CSS-friendly

changes to the HTML documentation.

diff --git a/Doc/tools/buildindex.py b/Doc/tools/buildindex.py
index 6b1682f8c1a21247d3ebae09a4f9ff9b5383429d..644ec4351f6b84b100bd42d98d4404e58b15b8a7 100755 (executable)
--- 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):