diff options
| author | Bernard Normier <bernard@zeroc.com> | 2007-02-06 22:04:06 +0000 |
|---|---|---|
| committer | Bernard Normier <bernard@zeroc.com> | 2007-02-06 22:04:06 +0000 |
| commit | b04d73bf0f9c53efb67c089360da7598d042fb88 (patch) | |
| tree | bd17e56456ca2c02202d02ce9088713974082656 /java/makedist.py | |
| parent | Windows x64 fixes (diff) | |
| download | ice-b04d73bf0f9c53efb67c089360da7598d042fb88.tar.bz2 ice-b04d73bf0f9c53efb67c089360da7598d042fb88.tar.xz ice-b04d73bf0f9c53efb67c089360da7598d042fb88.zip | |
minor fix
Diffstat (limited to 'java/makedist.py')
| -rwxr-xr-x | java/makedist.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/java/makedist.py b/java/makedist.py index 7d99fbe0b34..91a40a2fe34 100755 --- a/java/makedist.py +++ b/java/makedist.py @@ -18,7 +18,7 @@ def usage(): print print "Options:" print "-h Show this message." - print "-d Skip SGML documentation conversion." + print "-d Skip documentation conversion." print "-t Skip building translators and use the ones in PATH." print "-f Keep going if precondition checks fail." print "-v Be verbose." @@ -329,7 +329,8 @@ 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) +if not skipDocs: + fixVersion(find("icej/doc", "index.html"), version) # # Create source archives. |