From 73cc299159805e2f25aaa71276aebf0d97028e3f Mon Sep 17 00:00:00 2001 From: Kalle Sommer Nielsen Date: Fri, 21 Jul 2017 22:43:25 +0200 Subject: [PATCH] win32/install.txt is no more, just copy INSTALL instead --- win32/build/mkdist.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/win32/build/mkdist.php b/win32/build/mkdist.php index da30cd52d2..b8c6af9d27 100644 --- 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) { -- 2.40.0