release-update.sh should update version number in website pages too.
1 file changed