diff options
Diffstat (limited to 'cpp/makedist.py')
| -rwxr-xr-x | cpp/makedist.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cpp/makedist.py b/cpp/makedist.py index 9e34c5dd30a..d60183594d2 100755 --- a/cpp/makedist.py +++ b/cpp/makedist.py @@ -244,6 +244,7 @@ mmversion = re.search("([0-9]+\.[0-9b]+)[\.0-9]*", version).group(1) print "Fixing version in various files..." fixVersion(find("ice", "README*"), version, mmversion) fixVersion(find("ice", "INSTALL*"), version, mmversion) +fixVersion(find("ice/doc", "index.html"), version, mmversion) fixVersion(find("ice/install/rpm", "*.conf"), version, mmversion) print "Creating Ice-rpmbuild..." |