php-gtk-doc build server?

Hi Andrei,


The php-gtk-doc build system is totally down as it seems - last message
is:
> http://news.php.net/php.gtk.doc/3350

The last build was in 2007:
http://gtk.php.net/manual/en/build.log

Derick told me that y1.php.net does not do builds - so where have the
builds been taking place?

--
Regards/Mit freundlichen Grüßen
Christian Weiske

-= Geeking around in the name of science since 1982 =-