cvs: phpdoc /scripts mk_ini_set_table.sh

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