Exporting PDF files (refs #3)