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