script fot converting data/*.pdf to html/*.html