Manual build every 2 hours

Hi, I'm building the PEAR manual every two hours and make it available at: http://pear.php-tools.net/peardoc/ This will allow you to get feedback for your changes in a short period of time. The log will be written to: http://pear.php-tools.net/peardoc.log If you like, you may add this information to the manual, maybe we could have a page to mirrors of the manual that will be updated more regularly than the official one... As the manual will be rebuilt every two hours, it may be down for some minutes from time to time... You will get an empty page instead of the manual front page. I hope this will help some people to add documentation to peardoc... Stephan