cvs: php-master-web /scripts rest_render update-backend

bjori Tue Nov 20 22:08:46 2007 UTC Added files: /php-master-web/scripts rest_render Modified files: /php-master-web/scripts update-backend Log: Add pregeneration of reST files from CVS (by Lukas Smith) http://cvs.php.net/viewvc.cgi/php-master-web/scripts/update-backend?r1=1.28&r2=1.29&diff_format=u Index: php-master-web/scripts/update-backend diff -u php-master-web/scripts/update-backend:1.28 php-master-web/scripts/update-backend:1.29 --- php-master-web/scripts/update-backend:1.28 Thu Sep 6 14:51:17 2007 +++ php-master-web/scripts/update-backend Tue Nov 20 22:08:46 2007 @@ -52,6 +52,15 @@ include "php_version"; pregenerate_version_feed("$root/include/version.inc", "$root/include/releases.inc", "$root/releases.atom"); +// Pregenerate the reST files +include "rest_render"; +/* URLs to parse/render */ +$urls = array( + 'php-src/CODING_STANDARDS', +); +pregen_rest_files("$root/reST/cache/", $urls); + + // Compress mirrorkit dir in backend to mirrorkit.tgz, and // then move it to the webspace in case it is properly done chdir("$root/backend/mirrorkit");