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 6b1682f..644ec43 100755
--- a/Doc/tools/buildindex.py
+++ b/Doc/tools/buildindex.py
@@ -77,7 +77,8 @@
     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):