From: Kalle Sommer Nielsen <kalle@php.net>
Date: Fri, 21 Jul 2017 20:43:25 +0000 (+0200)
Subject: win32/install.txt is no more, just copy INSTALL instead
X-Git-Tag: php-7.3.0alpha1~1848
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=73cc299159805e2f25aaa71276aebf0d97028e3f;p=php

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

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) {