diff options
| author | Bernard Normier <bernard@zeroc.com> | 2007-02-05 16:04:24 +0000 |
|---|---|---|
| committer | Bernard Normier <bernard@zeroc.com> | 2007-02-05 16:04:24 +0000 |
| commit | e2472fec1c01ad3bfa41e2edcc528e7a83048c51 (patch) | |
| tree | 5ed44f3b5bf512bf9c03150d07e2f653d54b9f90 /java/makedist.py | |
| parent | removed space (diff) | |
| download | ice-e2472fec1c01ad3bfa41e2edcc528e7a83048c51.tar.bz2 ice-e2472fec1c01ad3bfa41e2edcc528e7a83048c51.tar.xz ice-e2472fec1c01ad3bfa41e2edcc528e7a83048c51.zip | |
Fixed bug #1746
Diffstat (limited to 'java/makedist.py')
| -rwxr-xr-x | java/makedist.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/java/makedist.py b/java/makedist.py index abdcac32c4b..7d99fbe0b34 100755 --- a/java/makedist.py +++ b/java/makedist.py @@ -255,7 +255,7 @@ if not skipDocs: os.chdir(cwd) os.mkdir(os.path.join("icej", "doc")) os.rename(os.path.join("ice", "doc", "reference"), os.path.join("icej", "doc", "reference")) - os.rename(os.path.join("ice", "doc", "README.html"), os.path.join("icej", "doc", "README.html")) + os.rename(os.path.join("ice", "doc", "index.html"), os.path.join("icej", "doc", "index.html")) os.rename(os.path.join("ice", "doc", "images"), os.path.join("icej", "doc", "images")) @@ -329,6 +329,7 @@ version = re.search("ICE_STRING_VERSION = \"([0-9\.b]*)\"", config.read()).group print "Fixing version in README and INSTALL files..." fixVersion(find("icej", "README*"), version) fixVersion(find("icej", "INSTALL*"), version) +fixVersion(find("icej/doc", "index.html"), version) # # Create source archives. |