diff options
| -rwxr-xr-x | Doc/tools/buildindex.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Doc/tools/buildindex.py b/Doc/tools/buildindex.py index 1d50825..6b1682f 100755 --- a/Doc/tools/buildindex.py +++ b/Doc/tools/buildindex.py @@ -16,7 +16,6 @@ class Node: self.seqno = seqno # remove <#\d+#> left in by moving the data out of LaTeX2HTML str = self.__rmjunk.sub('', str) - # now remove <tt>...</tt> markup; contents remain. # build up the text self.text = split_entry_text(str) self.key = split_entry_key(str) |