com web/doc: minor updates to tutorial builds page: tutorial/builds.md

Commit: eb5f58c55bfdf67328bf7fd0aabef67b2a31c92c Author: Peter Cowburn <salathe@php.net> Mon, 1 Apr 2019 21:43:33 +0100 Parents: 5909e1b8325b547449c0744d2d782eeb53e0088c Branches: master Link: http://git.php.net/?p=web/doc.git;a=commitdiff;h=eb5f58c55bfdf67328bf7fd0aabef67b2a31c92c Log: minor updates to tutorial builds page mirrors -> web servers build schedules add Peter as point of contact for docs.php.net link to phpdoc list Changed paths: M tutorial/builds.md Diff: diff --git a/tutorial/builds.md b/tutorial/builds.md index 1e5e678..fe58333 100644 --- a/tutorial/builds.md +++ b/tutorial/builds.md @@ -1,16 +1,15 @@ # The PHP Manual builds The PHP Manual is written in [DocBook][docbook] and built by [PhD][phd], and -these builds are rsynced to the mirrors for users to use. +these builds are rsynced to the web servers for users to use. ## Mirror builds -The [rsync box][rsync.php.net] builds the manuals every night, at around 5:00 UTC. -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. +The [rsync box][rsync.php.net] builds the manuals every night, at around 05:00 UTC. +The web servers then pick up these builds when they sync, which usually happens every hour. ## Doc server builds -The [docs development server][docs.php.net] builds the manual four times a day -(0:15 6:15 12:15 and 18:15 UTC). This takes place on the [euk2][euk2] server. +The [docs development server][docs.php.net] builds the manual six times a day +(every 4 hours, starting at midnight UTC). This takes place on the [euk2][euk2] server. An easy way to see when each translation was last built, is to look at the [doc downloads page with dates][download-docs]. Also note that several old translations reside on this particular server, as it attempts to build every @@ -18,7 +17,7 @@ translation (both active and inactive). ## CHM builds The CHM version of the manual is built on a Windows machine and pulled on Fridays, -for distribution to mirrors. [Richard][rquadling] maintains these builds. +for distribution to web servers. [Richard][rquadling] maintains these builds. ## Validation Aside from running php configure.php –with-lang=foo (see [editing](editing.php)) @@ -26,22 +25,20 @@ for a language, another way to check if the docs validated is by looking at buil dates on the doc server. See "Doc server builds", above. ## Additional notes -- If a manual does not validate on some day, it will not be pushed to the mirrors +- If a manual does not validate on some day, it will not be pushed to the web servers until it does validate (hopefully, the next day). - Only active translations are built on rsync box (and then pushed to regular mirrors). This is managed in [web/php/includes/languages.inc][languages.inc] -- [docs.php.net][docs.php.net] attempts to build all translations (both active) - and inactive. - - However, we use broken-language.txt file in root of broken - translations to disable those very outdated and failing to build +- [docs.php.net][docs.php.net] attempts to build all translations (both active + and inactive). However, we use a broken-language.txt file in root of broken + translations to disable those that are very outdated and failing to build for a long time. ## The humans who manage these If there is a problem with the synced builds, it's wise to contact [Derick][derick] or [Hannes][bjori]. If a problem exists on the development server ([docs.php.net][docs.php.net]), -then contact the documentation team. +then contact [Peter][salathe] or the [documentation team mailing list][phpdoc-list]. [docbook]: http://www.docbook.org/ [phd]: http://doc.php.net/phd.php @@ -54,3 +51,5 @@ then contact the documentation team. [rquadling]: http://people.php.net/rquadling [derick]: http://people.php.net/derick [bjori]: http://people.php.net/bjori +[salathe]: http://people.php.net/salathe +[phpdoc-list]: mailto:phpdoc@lists.php.net