diff --git a/Makefile b/Makefile index de94165c9..d2639da65 100644 --- a/Makefile +++ b/Makefile @@ -230,7 +230,7 @@ tag: #: Make a git tag with the version number (see howto.txt). git push --follow-tags update_rtd: #: Update ReadTheDocs with the versions to show - python ci/update-rtfd.py $(RTD_PROJECT) + python ci/update_rtfd.py $(RTD_PROJECT) bump_version: #: Edit sources to bump the version after a release (see howto.txt). git switch -c nedbat/bump-version diff --git a/ci/update-rtfd.py b/ci/update_rtfd.py similarity index 100% rename from ci/update-rtfd.py rename to ci/update_rtfd.py