diff --git a/.github/workflows/deploy-docs.yaml b/.github/workflows/deploy-docs.yaml index 0fc94b0e..aa4b1d52 100644 --- a/.github/workflows/deploy-docs.yaml +++ b/.github/workflows/deploy-docs.yaml @@ -32,8 +32,8 @@ jobs: git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com" - run: | if [[ "${{github.ref_name}}" == "main" ]]; then - mike deploy main --push --force + mike deploy main else - mike deploy dev --push --force + mike deploy dev fi mike set-default dev diff --git a/mkdocs.yml b/mkdocs.yml index 0138d7bd..faafaae2 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -73,7 +73,7 @@ markdown_extensions: emoji_generator: !!python/name:materialx.emoji.to_svg nav: - - Welcome: index.md + - Home: index.md - Install: install.md - How to: how-to.md - Commands (CLI): cli.md