Merge pull request #83 from rust-random/push-ospuuqxuqvqo

Fix gh-pages deployment source

Author: dhardy

.github/workflows/gh-pages.yml

@@ -20,4 +20,4 @@ jobs:
         uses: peaceiris/actions-gh-pages@v4
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./book
+          publish_dir: ./book/html