Action to deploy documentation to gh-pages

Author: steveicarus

Diff for: .github/workflows/deploy_docs.yml

@@ -0,0 +1,32 @@
+
+on:
+  # Every push onto the main branch regerenates the documentation
+  push:
+    branches:
+      - 'master'
+
+jobs:
+
+  do-deploy:
+    runs-on: ubuntu-latest
+    name: 'Build documentation on Linux'
+#     steps:
+#
+#     - uses: actions/checkout@v2
+#
+#    - name: Install dependencies
+#      run: |
+#        sudo apt update -qq
+#        sudo apt install -y make autoconf python3-sphinx
+#
+#    - name: Make Documentation
+#      run: |
+#        cd Documentation
+#        make html
+#
+#    - name: Deploy to GitHub Pages
+#      uses: crazy-max/ghaction-github-pages@v2
+#      with:
+#        target_branch: gh-pages
+#        build_dir: Documentation/_build/html
+#        jekyll: false