com php/gtk-src: Update config.w32: ext/html/config.w32

Commit: 30bc0bc71448b4ef0e222a32a704014c016403a0 Author: tantrum-junkie <loe.florian@gmail.com> Mon, 23 Jun 2014 17:31:35 +0200 Parents: 9793164af1f6f4112577c1e48e62e6106572f7a3 Branches: master Link: http://git.php.net/?p=php/gtk-src.git;a=commitdiff;h=30bc0bc71448b4ef0e222a32a704014c016403a0 Log: Update config.w32 Fixed forgotten renamed file generator.php --> gtkgenerator.php Changed paths: M ext/html/config.w32 Diff: diff --git a/ext/html/config..w32 b/ext/html/config.w32 index 6b5479b..fe49a59 100644 --- a/ext/html/config.w32 +++ b/ext/html/config.w32 @@ -6,7 +6,7 @@ if (PHP_GTK_HTML != "no" || PHP_GTK_ALL != "no") if (FSO.FileExists("win32\\temp.bat")) { var temp = FSO.OpenTextFile("win32\\temp.bat", 8); - temp.WriteLine("php -q generator\\generator.php -l win32\\logs\\config_html.log -o ext\\html\\html.overrides -p gtkhtml -r ext\\gtk+\\gtk.defs ext\\html\\html.defs > ext\\html\\gen_html.c"); + temp.WriteLine("php -q generator\\gtkgenerator.php -l win32\\logs\\config_html.log -o ext\\html\\html.overrides -p gtkhtml -r ext\\gtk+\\gtk..defs ext\\html\\html.defs > ext\\html\\gen_html.c"); temp.WriteLine('grep -h "^PHP_GTK_EXPORT_CE" ext\\html\\gen_html.c | sed -e "s/^/PHP_GTK_API extern /" > ext\\html\\gen_html.h'); temp.Close(); } @@ -16,4 +16,4 @@ if (PHP_GTK_HTML != "no" || PHP_GTK_ALL != "no") } else { WARNING("gtkhtml3 not enabled; libraries and headers not found"); } - } \ No newline at end of file + }