[PHP-DOC] cvs: phpdoc /scripts make_man.php

[Hartmut Holzgraefe]

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`;
 }