diff options
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. |