[docs] update mkdoc action

wgzhao · Oct 22, 2021 · ebcc57a · ebcc57a
1 parent b867d0a
commit ebcc57a
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/mkdoc-latest.yml b/.github/workflows/mkdoc-latest.yml
@@ -18,12 +18,12 @@ jobs:
           git config --global user.name Docs deploy
           git config --global user.email docs@dummy.bot.com
       - name: build docs
-        run: mike deploy current latest
+        run: mike deploy develop latest
       - name: Create redirect form old docs
         run: |
           git checkout gh-pages
           test -f 404.html && echo "Redirect already set" && exit 0
-          git checkout master -- docs/404.html
+          git checkout master -- 404.html
           git add 404.html
           git commit -m "chore: set docs redirect" --no-verify
           git push origin gh-pages -f
diff --git a/.github/workflows/mkdoc-release.yml b/.github/workflows/mkdoc-release.yml
@@ -22,7 +22,7 @@ jobs:
         run: |
           git checkout gh-pages
           test -f 404.html && echo "Redirect already set" && exit 0
-          git checkout master -- docs/404.html
+          git checkout master -- 404.html
           git add 404.html
           git commit -m "chore: set docs redirect" --no-verify
           git push origin gh-pages -f
diff --git a/docs/404.html → 404.html b/docs/404.html → 404.html