Add gh-pages workflow

.github/workflows/gh-pages.yml

@@ -0,0 +1,25 @@
+name: github pages
+
+on:
+  push:
+    branches:
+      - main  # Set a branch name to trigger deployment
+
+jobs:
+  deploy:
+    runs-on: ubuntu-18.04
+    steps:
+      - uses: actions/checkout@v2
+
+      - name: install dependencies
+        run: sudo apt-get install emacs
+
+      - name: make
+        run: make -C src/ doc
+
+      - name: Deploy
+        uses: peaceiris/actions-gh-pages@v3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./docs
+

.github/workflows/test-build.yml

@@ -20,22 +20,6 @@ jobs:
     - name: make
       run: make -C src/
 
-    - name: build docs
-      run: make -C src/ doc
-
-    - name: GitHub Pages Deploy
-      uses: appleboy/gh-pages-action@v0.0.2
-
-    - name: checkout
-      uses: actions/checkout@v1
-
-    - name: deploy docs
-      uses: ./
-      with:
-        username: scemama
-        password: 7da28e533792db220a4811fc4e487b8ba817862f
-        remote_url: https://github.com/appleboy/gh-pages-action.git
-
 
   test: