win32/install.txt is no more, just copy INSTALL instead

diff --git a/win32/build/mkdist.php b/win32/build/mkdist.php
index da30cd52d2a2d57bfb09b88293bc19d2de0154ba..b8c6af9d2701a08a6a2e8e7a2f2ea95d82c2eb65 100644 (file)
--- a/win32/build/mkdist.php
+++ b/win32/build/mkdist.php
@@ -229,10 +229,10 @@ if(sizeof($pecl_targets)) {
 $text_files = array(
        "LICENSE" => "license.txt",
        "NEWS" => "news.txt",
+       "INSTALL" => "install.txt", 
        "README.REDIST.BINS" => "readme-redist-bins.txt",
        "php.ini-development" => "php.ini-development",
-       "php.ini-production" => "php.ini-production",
-       "win32/install.txt" => "install.txt",
+       "php.ini-production" => "php.ini-production"
 );
 
 foreach ($text_files as $src => $dest) {