message: reverse modifs of this file from PR 141
diff: @@ -6,8 +6,8 @@ set -eu
  cd "$(dirname "${BASH_SOURCE[0]}")"
  # Update version string
  -# cur_version=$(sed -n -e "s/^.*VERSION_STRING.* \"\([0-9\.]\{1,\}\).*/\1/p" ../CMakeLists.txt)
  -# sed -i -e "s/\(PROJECT_NUMBER.*=\)\(.*\)/\1 v${cur_version}/" Doxyfile
  +cur_version=$(sed -n -e "s/^.*VERSION_STRING.* \"\([0-9\.]\{1,\}\).*/\1/p" ../CMakeLists.txt)
  +sed -i -e "s/\(PROJECT_NUMBER.*=\)\(.*\)/\1 v${cur_version}/" Doxyfile
  # Build the doxygen info
  rm -rf docBin
  