Merge pull request #6 from hokorobi/publish-gh-pages

Add GitHub Actions to publish to GitHub Pages

.github/workflows/publish-gh-pages.yml

@@ -0,0 +1,40 @@
+name: Publish GitHub Pages
+
+on:
+  push:
+    branches: [ master ]
+  workflow_dispatch:
+  # pull_request:
+  #   branches: [ master ]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v2
+      with:
+        submodules: recursive
+    - name: chmod x *.sh
+      run: chmod +x *.sh
+    - name: make html
+      run: make index.html;make style.css
+      timeout-minutes: 60
+    - name: Generate PNG Diagrams
+      uses: hokorobi/plantuml-github-action@main
+      continue-on-error: true
+      with:
+        args: -v -tpng uml/*.uml
+    - name: mkdir
+      run: mkdir -p publish/uml
+    - name: copy to dir
+      run: cp -r index.html style.css uml publish
+
+    - name: Deploy
+      uses: peaceiris/actions-gh-pages@v3
+      if: ${{ github.ref == 'refs/heads/master' }}
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_dir: ./publish
+