The PHP Manual builds
The rsync box builds the manuals each week, at 10:46 UTC on Fridays. The mirrors then pick up these builds when they sync, which usually happens every hour. When a mirror syncs depends on how its cron is set up.
Doc server builds
The docs development server builds the manual four times a day (0:15 6:15 12:15 and 18:15 UTC). This takes place on the euk2 server. An easy way to see when each translation was last built, is to look at the doc downloads page with dates. Also note that several old translations reside on this particular server, as it attempts to build every translation (both active and inactive).
The CHM version of the manual is built on a Windows machine and pulled on Fridays, for distribution to mirrors. Richard maintains these builds.
Aside from running
php configure.php –with-lang=foo (see editing)
for a language, another way to check if the docs validated is by looking at build
dates on the doc server. See "Doc server builds", above.
- If a manual does not validate on Friday, it will not be pushed to the mirrors until it does validate (hopefully, the upcoming Friday).
- Only active translations are selectable/downloadable, and this is managed in phpweb/includes/languages.inc