diff options
Diffstat (limited to 'cpp')
| -rwxr-xr-x | cpp/makedist.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cpp/makedist.py b/cpp/makedist.py index ea755059f6a..2893edccc16 100755 --- a/cpp/makedist.py +++ b/cpp/makedist.py @@ -309,6 +309,7 @@ os.system("zip -9r " + icever + ".zip " + icever) # # Copy files (README, etc.). # +shutil.copyfile(os.path.join(icever, "CHANGES"), "Ice-" + version + "-CHANGES") # # Done. |