docs up again & broken languages

Hi all http://docs.php.net is back up and kicking. We had a tiny problem with the server the past few days, including a disk failure. For some reason our build scripts and cronjobs weren't in git so it took some time to get things back up and running again. The build scripts are now in git[1][2], and the cronjobs[3] too. I also added support to disable building certain languages by adding a file name "broken-language.txt" to the root directory of it (the content of the file doesn't matter). Once the language has been fixed/updated just remove the file and the server will include it in the next run. docweb (https://doc.php.net) is still suffering. I've never actually bootstrapped docweb before so any help appreciated. The PEAR channel (install phd and pman) should be working though. -Hannes [1] http://git.php.net/?p=systems.git;a=blob_plain;f=update-docs-sources;hb=HEAD [2] http://git.php.net/?p=systems.git;a=blob_plain;f=build-docs-snapshots;hb=HEAD [3] http://git.php.net/?p=systems.git;a=blob_plain;f=boxen/euk2.php.net;hb=HEAD