[PHP-DOC] php manual in pdf

[Dennis]

Hello Guys.

Please, make php manual also available in pdf, so ppl are able to read it in 
their readers.

Maybe you should have 2 version, just a manual and a manual with user notes.

Thanks.
Dennis.