I need to generate a PDF file from an existing pure HTML files when clicking 'Export' button. As I am working on the php project, a solution that can easily be used in a java-project is preferable.
Thanks for all the answers
I'm not sure how well it would integrate into PHP, but I use pandoc for all sorts of document conversion. It can handle HTML to PDF.