Create github action to generate documentation (#31)

.github/workflows/generate_docs.yml

@@ -0,0 +1,43 @@
+# Github actions workflow to generate documentation
+
+name: Generate documentation and update readme
+
+# Trigger the workflow on push event for master branch 
+# or pull request events but only for the master branch with the type closed
+on:
+  push:
+    branches: [ master ]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Checkout bootstrap-functions
+      uses: actions/checkout@v2
+
+    - name: Checkout shdoc
+      uses: actions/checkout@v2
+      with:
+        repository: reconquest/shdoc 
+        path: shdoc
+
+    - name: Add shdoc to PATH
+      run: |
+        echo "::add-path::$GITHUB_WORKSPACE/shdoc"
+        echo "$PATH"
+
+    - name: Generate documentation
+      run: bash generate_docs.sh
+
+    - name: Commit changes
+      run: |
+        git config --local user.email "[email protected]"
+        git config --local user.name "GitHub Action"
+        git add README.md docs/
+        git commit -m "Update documentation"
+
+    - name: Push changes
+      uses: ad-m/github-push-action@master
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}