Skip to content

Commit

Permalink
Fix release script
Browse files Browse the repository at this point in the history
  • Loading branch information
goerz committed Jun 2, 2024
1 parent 367e00f commit 06d2e20
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions scripts/release.py
Original file line number Diff line number Diff line change
Expand Up @@ -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))
Expand All @@ -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:
Expand Down

0 comments on commit 06d2e20

Please sign in to comment.