Merge pull request #91 from rust-random/push-ypvlyyvmzpyu

Change publish dir

Author: dhardy

.github/workflows/gh-pages.yml

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