Re: build times, logs
| From: | Hannes Magnusson | Date: | Wed, 05 Mar 2008 07:44:20 +0000 |
| Subject: | Re: build times, logs | ||
| References: | 1 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969378669@lists.php.net to get a copy of this message | ||
On Wed, Mar 5, 2008 at 4:24 AM, Daniel Convissor
<danielc@analysisandsolutions.com> wrote:
> Hi Folks:
>
> I'm curious when the manual is built and where the logs are for the build
> process (if they exist)? I looked around the documentation, archives and
> Googled for this info to no avail.
There are no public log files.
Currently docs.php.net does a complete rebuild (phpweb, html and
bightml) every 6 hours for all languages (although only 3 or 4
translations work).
The official builds are done on our rsync box "on-demand", but
probably will be automatic once a week or so in the near future.
-Hannes