update the release number in the docs