puoi crearti direttamente il pdf dal manuale preso come singola pagina html:
http://www.php.net/download-docs.php