Publish GitHub Page with GitHub Action

.github/workflows/deploy_github_page.yaml

@@ -0,0 +1,24 @@
+name: build-deploy-github-page
+
+on:
+  push:
+    branches: [ master ]
+
+  workflow_dispatch:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    container: twtug/lkmpg
+
+    steps:
+      - uses: actions/checkout@v2
+      - name: Build
+        run: |
+          make html
+      - name: Deploy to gh-pages branch
+        uses: peaceiris/actions-gh-pages@v3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./html
+          publish_branch: gh-pages

.github/workflows/generate_pdf.yml → .github/workflows/generate_doc.yml

@@ -9,22 +9,29 @@ on:
 jobs:
   build:
     runs-on: ubuntu-latest
-    container: texlive/texlive
+    container: twtug/lkmpg
 
     steps:
       - uses: actions/checkout@v2
       - name: Build
-        run: make all
+        run: |
+          make all
+          make html
+          tar zcvf lkmpg-html.tar.gz ./html
       - name: Delete old release asset
         uses: mknejp/delete-release-assets@v1
         with:
           token: ${{ github.token }}
           fail-if-no-assets: false
           tag: latest
-          assets: lkmpg.pdf
+          assets: |
+            lkmpg.pdf
+            lkmpg-html.tar.gz
       - name: Release
         uses: softprops/action-gh-release@v1
         with:
-          files: lkmpg.pdf
+          files: |
+            lkmpg.pdf
+            lkmpg-html.tar.gz
           tag_name: "latest"
           prerelease: true