have pdfgen app write out HTML files