diff options
Diffstat (limited to 'Doc/tools/mkmodindex')
| -rwxr-xr-x | Doc/tools/mkmodindex | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Doc/tools/mkmodindex b/Doc/tools/mkmodindex index 4400cea..14568d1 100755 --- a/Doc/tools/mkmodindex +++ b/Doc/tools/mkmodindex @@ -47,8 +47,9 @@ def error(msg, rc=2): _rx = re.compile( - '<dt><a href="(module-.*\.html)">' - '([a-zA-Z_][a-zA-Z0-9_.]*(\s*<em>\(.*\)</em>)?)</a>') + "<dt><a href='(module-.*\.html)#l2h-\d+'><tt class='module'>" + "([a-zA-Z_][a-zA-Z0-9_.]*</tt>(\s*<em>" + "\(<span class='platform'>.*</span>\)</em>)?)</a>") def main(): outputfile = "-" |