com web/doc: docs server builds every 4 hours: tutorial/editing.md

Commit: 44c0d1b0df3be3a85610931ee306b36615cccafc Author: Peter Cowburn <salathe@php.net> Fri, 22 May 2020 12:16:34 +0100 Parents: 74e62bf8092d385be9223c856cae6a2abddccbda Branches: master Link: http://git.php.net/?p=web/doc.git;a=commitdiff;h=44c0d1b0df3be3a85610931ee306b36615cccafc Log: docs server builds every 4 hours Changed paths: M tutorial/editing.md Diff: diff --git a/tutorial/editing.md b/tutorial/editing.md index 512c4b8..b1f7bc8 100644 --- a/tutorial/editing.md +++ b/tutorial/editing.md @@ -50,7 +50,7 @@ If you have the appropriate [commit karma][karma], you can commit your modified ## Viewing changes online Documentation is built every night, at around 23:00 CST, then synced out to the website mirrors. However, there is a special mirror at [docs.php.net][docs] - where -the manual is updated from sources every six hours. If any errors occurred, a message +the manual is updated from sources every four hours. If any errors occurred, a message will be delivered to the appropriate mailinglist (doc-{LANG}@lists.php.net). Read more about manual builds in the [builds appendix](builds.php).