update current version in doc/index.html