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