Merge pull request #412 from crlf0710/fix-links

Change CI mdbook output path to make the URL consistent.

Author: jackh726

.github/workflows/ci.yml

@@ -61,7 +61,7 @@ jobs:
         run: |
           touch target/doc/.nojekyll
           curl -LsSf https://raw.githubusercontent.com/rust-lang/simpleinfra/master/setup-deploy-keys/src/deploy.rs | rustc - -o /tmp/deploy
-          cp -r book/book target/doc/book
+          cp -r book/book/html target/doc/book
           (cd target/doc && /tmp/deploy)
         env:
           GITHUB_DEPLOY_KEY: ${{ secrets.GITHUB_DEPLOY_KEY }}