diff options
| -rw-r--r-- | win32/build/mkdist.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/win32/build/mkdist.php b/win32/build/mkdist.php index 5ed9bdc81a..53bf70848b 100644 --- a/win32/build/mkdist.php +++ b/win32/build/mkdist.php @@ -248,7 +248,8 @@ foreach ($text_files as $src => $dest) { /* general other files */ $general_files = array( - "php.gif" => "php.gif", + "php.gif" => "php.gif", + "$GLOBALS[build_dir]\\deplister.exe" => "deplister.exe", ); foreach ($general_files as $src => $dest) { |