Fix mdBook output paths for Pages

.github/workflows/lint.yml

@@ -486,9 +486,9 @@ jobs:
       - name: Markdown lint
         run: npx -y markdownlint-cli2 "book/src/**/*.md"
       - name: Build book
-        run: mdbook build book -d target/book
+        run: mdbook build book
       - name: Add .nojekyll
-        run: touch target/book/.nojekyll
+        run: touch book/book/.nojekyll
       - name: Check links
         run: mdbook-linkcheck -s book
       - name: Setup Pages
@@ -498,7 +498,7 @@ jobs:
         if: github.event_name == 'push' && github.ref == 'refs/heads/master'
         uses: actions/upload-pages-artifact@v3
         with:
-          path: target/book
+          path: book/book
 
   deploy_book:
     if: github.event_name == 'push' && github.ref == 'refs/heads/master'