diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml index 4679121b2..8f31d4b1b 100644 --- a/.github/workflows/publish_documentation.yml +++ b/.github/workflows/publish_documentation.yml @@ -27,4 +27,4 @@ jobs: - name: Build documentation env: GOOGLE_ANALYTICS_KEY: ${{ secrets.GOOGLE_ANALYTICS_KEY }} - run: mkdocs gh-deploy --force + run: mike deploy --update-aliases --push --rebase ${{ steps.git.outputs.tag }} stable diff --git a/mkdocs.yml b/mkdocs.yml index e6c92fea2..b815af22f 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -47,7 +47,7 @@ extra: property: !ENV GOOGLE_ANALYTICS_KEY version: provider: mike # Enable mike versioning - default: main # Set default version alias + default: stable # Set default version alias # Extensions markdown_extensions: diff --git a/requirements-doc.txt b/requirements-doc.txt index b7bd2efbb..a72145ce8 100644 --- a/requirements-doc.txt +++ b/requirements-doc.txt @@ -5,3 +5,4 @@ mkdocs-section-index mkdocstrings[python] mkdocs-git-committers-plugin-2 mkdocs-git-revision-date-localized-plugin +mike