diff --git a/.github/workflows/mdbook.yml b/.github/workflows/mdbook.yml index 1b7d3e718..b1464545b 100644 --- a/.github/workflows/mdbook.yml +++ b/.github/workflows/mdbook.yml @@ -98,5 +98,5 @@ jobs: - name: Deploy to github pages uses: peaceiris/actions-gh-pages@373f7f263a76c20808c831209c920827a82a2847 # v3.9.3 with: - publish_dir: ./book + publish_dir: ./mdbook/book github_token: ${{ secrets.GITHUB_TOKEN }} diff --git a/.gitignore b/.gitignore deleted file mode 100644 index 7585238ef..000000000 --- a/.gitignore +++ /dev/null @@ -1 +0,0 @@ -book diff --git a/mdbook/.gitignore b/mdbook/.gitignore index 934a5e2d0..0da903c16 100644 --- a/mdbook/.gitignore +++ b/mdbook/.gitignore @@ -1,3 +1,4 @@ -approved -proposed +approved/ +proposed/ +book/ SUMMARY.md diff --git a/mdbook/book.sh b/mdbook/book.sh index babcc1f3c..a0c67ecae 100755 --- a/mdbook/book.sh +++ b/mdbook/book.sh @@ -41,5 +41,5 @@ done echo -e "Preview of the generated SUMMARY.md:\n" cat src/SUMMARY.md -rm -rf ../book/ -mdbook build --dest-dir ../book/ +rm -rf ./book/ +mdbook build --dest-dir ./book/