cvs: phpdoc /scripts revcheck.php
| From: | Yannick Torres | Date: | Wed, 19 Apr 2006 20:17:46 +0000 |
| Subject: | cvs: phpdoc /scripts revcheck.php | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969372733@lists.php.net to get a copy of this message | ||
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"