#!/usr/bin/env python
import os
outf = open('out.html','w')
outf.write('
')
for f in os.listdir('pdf'):
if not f.lower().endswith('.pdf'):
continue
print f
os.system('pdf2htmlEX -l 3 --dest-dir html pdf/%s' % (f,))
ff = f[:-3]+'html'
outf.write('%s ' % (ff,ff))
outf.flush();
outf.write('