diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index d1fbd444f..e9363f0ba 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -68,5 +68,5 @@ jobs: - name: build and push run: | VERSION="${{ inputs.tag }}" - mike deploy $VERSION --push --update-aliases + mike deploy $VERSION latest --push --update-aliases mike set-default --push latest diff --git a/mkdocs.yml b/mkdocs.yml index d7a90f47e..fbd7190f3 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -66,6 +66,7 @@ theme: extra: version: provider: mike + alias: true markdown_extensions: - meta