From b8f295a6d3f5febde642c913809681efa709f96f Mon Sep 17 00:00:00 2001 From: Pierre Joye Date: Wed, 24 Jun 2009 11:51:05 +0000 Subject: [PATCH] - add readme.redist.bins as .txt --- win32/build/mkdist.php | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/win32/build/mkdist.php b/win32/build/mkdist.php index 83b66b5c6d..c51fb80127 100644 --- 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", ); -- 2.50.0