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

[Elizabeth Marie Smith]

Commit: 30bc0bc71448b4ef0e222a32a704014c016403a0
Author: tantrum-junkie <***@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
+ }