takagi Tue Jul 11 05:21:13 2006 UTC
Modified files: /phpdoc/scripts revcheck.php Log: 'install/windows/extensions.xml' should be checked. http://cvs.php.net/viewvc.cgi/phpdoc/scripts/revcheck.php?r1=1.58&r2=1.59&diff_format=u Index: phpdoc/scripts/revcheck.php diff -u phpdoc/scripts/revcheck.php:1.58 phpdoc/scripts/revcheck.php:1.59 --- phpdoc/scripts/revcheck.php:1.58 Wed Apr 19 20:17:46 2006 +++ phpdoc/scripts/revcheck.php Tue Jul 11 05:21:13 2006 @@ -328,7 +328,7 @@ if ( $file == "rsusi.txt" || $file == "missing-ids.xml" - || $file == "extensions.xml" + || ($file == "extensions.xml" && strpos($dir, '/appendices/')) || $file == "README" || $file == "contributors.xml" || $file == "contributors.ent"