didou Wed Jul 21 09:59:04 2004 EDT
Modified files: /phpdoc/scripts revcheck.php Log: ignore this new file too # spotted by yannick http://cvs.php.net/diff.php/phpdoc/scripts/revcheck.php?r1=1.43&r2=1.44&ty=u Index: phpdoc/scripts/revcheck.php diff -u phpdoc/scripts/revcheck.php:1.43 phpdoc/scripts/revcheck.php:1.44 --- phpdoc/scripts/revcheck.php:1.43 Sun Jun 6 13:17:48 2004 +++ phpdoc/scripts/revcheck.php Wed Jul 21 09:59:03 2004 @@ -329,6 +329,7 @@ $file == "make_chm_index_en.html" || $file == "rsusi.txt" || $file == "README" + || $file == "contributors.xml" || $file == "DO_NOT_TRANSLATE" || ($file == "functions.xml" && strpos($dir, '/reference/'))) continue;