I used wkhtmltopdf for such things. which is an application not a library.
http://code.google.com/p/wkhtmltopdf/
But i dont see what makes the difference between php and standard html . you can allways file_get_contents('http://server.com/script.php'); Then you can save this data as a html and do as you please with it.