diff --git a/docs/contributing.rst b/docs/contributing.rst index 20a588674..a0ec4e792 100644 --- a/docs/contributing.rst +++ b/docs/contributing.rst @@ -52,7 +52,7 @@ The following tools are there to help you: before submitting a new pull request. - ``tox -e cover`` checks the test coverage only. Calling the - ``./tox-cover.sh`` script directly might be a bit quicker, though. + ``./tox.cover.sh`` script directly might be a bit quicker, though. - ``tox -e lint`` checks the style of the whole project, while ``pylint --rcfile=.pylintrc path`` will check a single file or