diff --git a/src/docs/update-release.sh b/src/docs/update-release.sh
index 27fe51ee2..47fbd946a 100755
--- a/src/docs/update-release.sh
+++ b/src/docs/update-release.sh
@@ -8,8 +8,8 @@
 usrconf="usr-manual/conf.py"
 refconf="ref-manual/conf.doxygen"
 
-version=`../utilities/version -version`
-reldate=`../utilities/version -date`
+version=`../utilities/version.sh -version`
+reldate=`../utilities/version.sh -date`
 if type -p gdate > /dev/null; then
     usrdate=`gdate --date=$reldate +'%B %d, %Y'`;
 else
diff --git a/src/utilities/version b/src/utilities/version.sh
similarity index 100%
rename from src/utilities/version
rename to src/utilities/version.sh