#!/usr/bin/env python # Turn slinke.hhc into a web page for the rest of us. # Run in directory containing slinke.hhc. # Outputs "index.html" and "slinke.html" in same directory. # Open "file:index.html" with your browser. import re, string fd = open('slinke.hhc') f = fd.read() fd.close() # remove unsightly object tokens f = re.sub('','',f) # convert entries into normal anchors # assume "Name" and "Local" are always next to each other and in the same order l = string.split(f, '\n') for i in range(len(l)): t = l[i] if re.search('%s' % (url, text) # dump remaining entries for i in range(len(l)): if re.search('