PHP doc -> formats and download

Hello, I would like to download the PHP source documentation and print it in the A4 format. I am glad that the documentation can be accessed with a browser but I simply HATE to read stuff on a screen. It hurts my precious eyes and I can't take notes with a pen, therefore I WANT to be able to generate the documentation in an other format than .html I have been browsing on the site and I finally came to the conclusion that what I have to do is to download the documentation source from the CVS. Then come my problems and my questions: - Why isn't is possible to simply download as a .tar.gz file, the directory which is at the origin of the .html files in http://www.php.net/download-docs.php ? This would save a lot of time to a lot of people... - I need to access the CVS but I am behind a firewall... How do I do then? I found nowhere any information telling me how to do. I can find in http://www.php.net/anoncvs.php: cvs -d :pserver:cvsread@cvs.php.net:/repository login cvs -d :pserver:cvsread@cvs.php.net:/repository checkout -r PHP_4_3_4 php-doc But these command simply do not work behind a firewall... (Port 2401 closed). sourceforge.net offers the possibility to download the files via port 80. Is it possible here and then how to do? cvs -d :pserver:cvsread@cvs.php.net:80/repository login do not work... Thanks in advance for any answer. Daniel -- *********************************************************************** Daniel TOURDE E-mail : daniel.tourde@foi.se Tel : +46 (0)8-55 50 43 44 Cellular : +46 (0)70-849 93 40 FOI, Swedish Defence Research Agency; Aeronautics Division - FFA Dept. of Wind Energy and Aviation Environmental Research SE-172 90 Stockholm, Sweden Fax : +46 (0)8-25 34 81 ***********************************************************************