try fix server misdirected

Author: Rratic

.github/workflows/builddocs.yml

@@ -24,13 +24,13 @@ jobs:
       # - uses: peaceiris/actions-gh-pages@v3
       #   with:
       #     github_token: ${{ secrets.GITHUB_TOKEN }}
-      #     publish_dir: ./build
+      #     publish_dir: ./public
       - name: deploy to juliacn docs server
         uses: easingthemes/ssh-deploy@main
         with:
           SSH_PRIVATE_KEY: ${{ secrets.SSH_PRIVATE_KEY }}
           ARGS: "-rlgoDzvc -i --delete"
-          SOURCE: "build/"
+          SOURCE: "./"
           REMOTE_HOST: ${{ secrets.REMOTE_HOST }}
           REMOTE_USER: ${{ secrets.REMOTE_USER }}
           REMOTE_PORT: ${{ secrets.REMOTE_PORT }}

make.jl

@@ -4,7 +4,7 @@ makedocs(
     sitename = "Julia Roadmap",
     modules = Module[],
     source = "docs",
-    build = joinpath(@__DIR__, "build", "docs"),
+    build = joinpath(@__DIR__, "public", "docs"),
     format = Documenter.HTML(
         prettyurls = false,
         lang = "zh-CN",