diff --git a/docs/how-to/internal/release.rst b/docs/how-to/internal/release.rst index 634f381b48..6786d77149 100644 --- a/docs/how-to/internal/release.rst +++ b/docs/how-to/internal/release.rst @@ -45,8 +45,8 @@ The procedure for cutting a new release is as follows: $ tox -r -e docs-lint,docs to confirm that there are no spelling errors or formatting problems with the - new release notes, and the docs build using the current documentation - toolchain. + new release notes, and the docs build using the current documentation tool + versions. #. Tag the release, and push the branch and tag upstream: