> Please Mark, Simone, check your revcheks, if they were updated
> or not...
>>> starting build at: Tue Apr 9 02:00:03 PDT 2002
...
>>> running make revcheck.html and copying revcheck.html ...
PHPDOCDIR=/local/mirror/phpdoc /usr/local/bin/php -f
/local/mirror/phpdoc/scripts/revcheck.php de
Hi!
I have just noticed that though our build was done yesterday:
http://www.php.net/manual/hu/build.log.gz our revcheck file is
not updated.
Though there is a
| >>> running make revcheck.html and copying revcheck.html ...
| PHPDOCDIR=/local/mirror/phpdoc /usr/local/bin/php -f
| /local/mirror
