diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 1f2d42d7..a9bde799 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -80,7 +80,7 @@ jobs: echo `pwd`/mdbook >> $GITHUB_PATH - name: Build Documentation run: | - (cd doc/book && mdbook build && mv book ../../website) + (cd doc/book && mdbook build --dest-dir ../../website/doc) - name: Set up Pages uses: actions/configure-pages@v4 - name: Upload Artifact