jmcastagnetto Sat Apr 27 02:23:59 2002 EDT
Modified files:
/phpdoc/scripts mk_ini_set_table.sh
Log:
Modifications to pull PHP_INI_* from all PHP modules
Index: phpdoc/scripts/mk_ini_set_table.sh
diff -u phpdoc/scripts/mk_ini_set_table.sh:1.1 phpdoc/scripts/mk_ini_set_table.sh:1.2
--- phpdoc/scripts/mk_ini_set_table.sh:1.1 Sun Jan 6 10:42:31 2002
+++ phpdoc/scripts/mk_ini_set_table.sh Sat Apr 27 02:23:59 2002
@@ -4,9 +4,12 @@
# and where they can be changed
# Jesus M. Castagnetto
# Mon Mar 19 04:57:02 PST 2001
+# Updated: Thu Apr 25 11:42:26 PDT 2002
+# - look through all PHP_INI_ containing files
+# - save table in the new split dir for the function
-main_c="../php4/main/main.c"
-ini_set_table="en/functions/ini_set_table";
+cfiles=`grep -rl PHP_INI_ ../php4/*`
+ini_set_table="en/reference/info/functions/ini_set_table";
awk 'BEGIN {
print "<table>\n <title>Configuration options</title>"
@@ -81,6 +84,6 @@
print " </table>";
print " </para>";
print "</note>";
-}' $main_c > $ini_set_table
+}' $cfiles > $ini_set_table
ls -l $ini_set_table
