diff options
| author | Dwayne Boone <dwayne@zeroc.com> | 2005-05-04 12:41:38 +0000 |
|---|---|---|
| committer | Dwayne Boone <dwayne@zeroc.com> | 2005-05-04 12:41:38 +0000 |
| commit | 6d994815c6079e8111adc3a0303fa46c78315b48 (patch) | |
| tree | d656237187d35a8b671a20ae54b935b62b916900 /php/makedist.py | |
| parent | Added version fixing (diff) | |
| download | ice-6d994815c6079e8111adc3a0303fa46c78315b48.tar.bz2 ice-6d994815c6079e8111adc3a0303fa46c78315b48.tar.xz ice-6d994815c6079e8111adc3a0303fa46c78315b48.zip | |
Copy CHANGES file
Diffstat (limited to 'php/makedist.py')
| -rwxr-xr-x | php/makedist.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/php/makedist.py b/php/makedist.py index 69614e58606..218d950f7cc 100755 --- a/php/makedist.py +++ b/php/makedist.py @@ -116,6 +116,7 @@ os.system("zip -9r " + icephpver + ".zip " + icephpver) # # Copy files (README, etc.). # +shutil.copyfile(os.path.join(icever, "CHANGES"), "IcePHP-" + version + "-CHANGES") # # Done. |