diff options
| author | Pierre Joye <pajoye@php.net> | 2009-06-24 11:51:05 +0000 |
|---|---|---|
| committer | Pierre Joye <pajoye@php.net> | 2009-06-24 11:51:05 +0000 |
| commit | b8f295a6d3f5febde642c913809681efa709f96f (patch) | |
| tree | 9c2fa2e5b94c74a3f554a68ba5d7afb6d7ab7701 /win32 | |
| parent | 4092360764e4a0c2779071a56a1fcfe328ec1ab2 (diff) | |
| download | php-git-b8f295a6d3f5febde642c913809681efa709f96f.tar.gz | |
- add readme.redist.bins as .txt
Diffstat (limited to 'win32')
| -rw-r--r-- | win32/build/mkdist.php | 9 |
1 files 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", ); |