diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index bfcd5ce..28410ac 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -24,10 +24,14 @@ jobs: - name: Build book working-directory: ./docs - run: mdbook build + run: mdbook build --lang=en + + - name: Check Korean translation + working-directory: ./docs + run: mdbook build --lang=ko - name: Deploy to GitHub Pages uses: peaceiris/actions-gh-pages@v3 with: github_token: ${{ secrets.GH_TOKEN }} - publish_dir: docs/book + publish_dir: docs/book \ No newline at end of file diff --git a/docs/src/SUMMARY.md b/docs/src/SUMMARY.md deleted file mode 100644 index bac4e09..0000000 --- a/docs/src/SUMMARY.md +++ /dev/null @@ -1,7 +0,0 @@ -# Summary - -# English -- [Introduction](en/introduction.md) - -# 한국어 -- [소개](ko/introduction.md) \ No newline at end of file