=== Move doc builds off the rsync machine === This task involves moving the doc builds off of the rsync machine, and instead using docs.php.net to build, which are then pushed to rsync for mirror distribution. * Probably pushed weekly * Remember the sqlite index script * Consider phd stable vs phd trunk for builds * Be sure the build isn't broken before pushing to rsync * Be sure the appropriate files are pushed