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;