diff --git a/Doc/tools/buildindex.py b/Doc/tools/buildindex.py index 1d50825bebf..6b1682f8c1a 100755 --- a/Doc/tools/buildindex.py +++ b/Doc/tools/buildindex.py @@ -16,7 +16,6 @@ def __init__(self, link, str, seqno): self.seqno = seqno # remove <#\d+#> left in by moving the data out of LaTeX2HTML str = self.__rmjunk.sub('', str) - # now remove ... markup; contents remain. # build up the text self.text = split_entry_text(str) self.key = split_entry_key(str)