- add readme.redist.bins as .txt

diff --git a/win32/build/mkdist.php b/win32/build/mkdist.php
index 83b66b5c6da9b73c33a6d1496d95d64e15f696b3..c51fb801274fea524688d6d730ff10c4f0b8d86e 100644 (file)
--- a/win32/build/mkdist.php
+++ b/win32/build/mkdist.php
@@ -227,11 +227,12 @@ if(sizeof($pecl_targets)) {
 
 /* populate reading material */
 $text_files = array(
-       "LICENSE" =>            "license.txt",
-       "NEWS" =>                       "news.txt",
-       "php.ini-development" =>        "php.ini-development",
+       "LICENSE" => "license.txt",
+       "NEWS" => "news.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",
+       "win32/install.txt" => "install.txt",
        "win32/pws-php5cgi.reg" => "pws-php5cgi.reg",
        "win32/pws-php5isapi.reg" => "pws-php5isapi.reg",
 );