- new php.ini names

diff --git a/win32/build/mkdist.php b/win32/build/mkdist.php
index f93355987ecca9ad1391b7347dce08c89ecebbcb..067c25dba79de2ec293c5a5a1601449dc5b0964e 100644 (file)
--- a/win32/build/mkdist.php
+++ b/win32/build/mkdist.php
@@ -220,8 +220,8 @@ copy_file_list($build_dir, $pecl_dir, $pecl_targets);
 $text_files = array(
        "LICENSE" =>            "license.txt",
        "NEWS" =>                       "news.txt",
-       "php.ini-dist" =>       "php.ini-dist",
-       "php.ini-recommended" => "php.ini-recommended",
+       "php.ini-development" =>        "php.ini-development",
+       "php.ini-production" => "php.ini-production",
        "win32/install.txt" =>  "install.txt",
        "win32/pws-php5cgi.reg" => "pws-php5cgi.reg",
        "win32/pws-php5isapi.reg" => "pws-php5isapi.reg",