diff options
Diffstat (limited to 'java/makedist.py')
| -rwxr-xr-x | java/makedist.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/java/makedist.py b/java/makedist.py index 256531f9703..55f95acf6ad 100755 --- a/java/makedist.py +++ b/java/makedist.py @@ -105,7 +105,8 @@ if verbose: else: quiet = "-Q" os.system("cvs " + quiet + " -d cvs.zeroc.com:/home/cvsroot export " + tag + - " icej ice/bin ice/config ice/doc ice/include ice/lib ice/slice ice/src") + " icej ice/bin ice/config ice/doc ice/include ice/lib ice/slice ice/src" + + " ice/install/vc71/doc/KNOWN_ISSUES.txt") # # Copy Slice directories. @@ -241,6 +242,11 @@ fixVersion(find("icej", "README*"), version) fixVersion(find("icej", "INSTALL*"), version) # +# Copy KNOWN_ISSUES.txt +# +shutil.copyfile(os.path.join("ice", "install", "vc71", "doc", "KNOWN_ISSUES.txt"), os.path.join("icej", "KNOWN_ISSUES.txt")) + +# # Create source archives. # print "Creating distribution archives..." |