cvs: phpdoc /scripts make_man.php
| From: | Hartmut Holzgraefe | Date: | Tue, 11 Jun 2002 10:34:20 +0000 |
| Subject: | cvs: phpdoc /scripts make_man.php | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969346371@lists.php.net to get a copy of this message | ||
hholzgra Tue Jun 11 06:34:20 2002 EDT
Modified files:
/phpdoc/scripts make_man.php
Log:
wasn't able to deal with the increased number of files generated by
operation 'bananasplit'
Index: phpdoc/scripts/make_man.php
diff -u phpdoc/scripts/make_man.php:1.2 phpdoc/scripts/make_man.php:1.3
--- phpdoc/scripts/make_man.php:1.2 Mon Mar 11 02:43:24 2002
+++ phpdoc/scripts/make_man.php Tue Jun 11 06:34:19 2002
@@ -30,7 +30,7 @@
}
if (empty ($extension)) {
- $file =
cat \find $lang | grep .xml\``;
+ $file = find $lang | fgrep .xml | xargs cat;
} else {
$file = cat {$lang}/functions/{$extension}.xml;
}