diff --git a/.github/workflows/release_workflow.yml b/.github/workflows/release_workflow.yml index 064d1a33..ac456079 100644 --- a/.github/workflows/release_workflow.yml +++ b/.github/workflows/release_workflow.yml @@ -4,6 +4,8 @@ on: release: types: [published] + workflow_dispatch: + jobs: publish-docs: runs-on: ubuntu-latest @@ -57,10 +59,11 @@ jobs: # Add `index.html` to point to the `main` branch automatically. printf '' > index.html - # Only replace `main` docs with latest changes. Docs for tags should be untouched. - rm -rf _build/html/main - mkdir -p _build/html/main - cp -r ../docs/_build/html/main _build/html + # Replace main docs to populate dropdown with latest tags + rm -r _build/html/main + + # Only copy docs for main and current tag + cp -r -n ../docs/_build/html _build/ # Configure git using GitHub Actions credentials. git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"