diff --git a/scripts/release.py b/scripts/release.py index 8d006584..86edc0e2 100644 --- a/scripts/release.py +++ b/scripts/release.py @@ -67,7 +67,7 @@ def make_release(package_name, fast_test=False): 'README.md', join('docs', '09_examples.rst'), join('docs', 'index.rst'), - join('docs', 'overview.rst'), + join('docs', '01_overview.rst'), ] for filename in files_with_binder_links: set_binder_branch(filename, "v" + str(new_version)) @@ -92,7 +92,7 @@ def make_release(package_name, fast_test=False): files_with_released_binder_links = [ 'README.md', join('docs', 'index.rst'), - join('docs', 'overview.rst'), + join('docs', '01_overview.rst'), ] for filename in files_with_binder_links: if filename in files_with_released_binder_links: