193
203
fileline = '<li><a href=%s>%s</a> - %s</li>'
196
206
texts1 = ['../../readme.html', '../../install.html', '../LGPL', '../logos.html']
197
207
texts = [fileline%x for x in [getdocinfo(x) for x in texts1]]
198
208
finaltext = texthead + '\n'.join(texts)
201
212
tuts = [fileline%(x[0],x[1],x[2][9:]) for x in [getdocinfo(x) for x in tuts1] if x[2].startswith('TUTORIAL:')]
202
213
finaltut = tuthead + '\n'.join(tuts)
206
217
def lookupdoc(docs, name, category):