yannick Wed Apr 19 20:17:46 2006 UTC
Modified files:
/phpdoc/scripts revcheck.php
Log:
skip file created when we use livedocs (missing-ids.xml)
http://cvs.php.net/viewcvs.cgi/phpdoc/scripts/revcheck.php?r1=1.57&r2=1.58&diff_format=u
Index: phpdoc/scripts/revcheck.php
diff -u phpdoc/scripts/revcheck.php:1.57 phpdoc/scripts/revcheck.php:1.58
--- phpdoc/scripts/revcheck.php:1.57 Fri Feb 10 10:26:14 2006
+++ phpdoc/scripts/revcheck.php Wed Apr 19 20:17:46 2006
@@ -327,6 +327,7 @@
// <lang>/reference/ tree, skip the file
if (
$file == "rsusi.txt"
+ || $file == "missing-ids.xml"
|| $file == "extensions.xml"
|| $file == "README"
|| $file == "contributors.xml"
