deploy docs

.github/workflows/docs.yml

@@ -0,0 +1,32 @@
+name: Documentation
+
+on:
+  push:
+    branches:
+      - master
+
+jobs:
+  deploy:
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: actions/checkout@v2
+        with:
+          submodules: recursive
+      - name: install dependencies
+        run: |
+          sudo apt-get install -y doxygen
+          pip install -U sphinx breathe sphinx-rtd-theme recommonmark
+      - name: build docs
+        run: |
+          export PATH="/home/runner/.local/bin:$PATH"
+          cd docs
+          make html
+          cd ..
+      - name: deploy docs
+        run: |
+          openssl aes-256-cbc -K $encrypted_bd0ed4c1fd75_key -iv $encrypted_bd0ed4c1fd75_iv -in scripts/deploy_docs_rsa.enc -out scripts/deploy_docs_rsa -d
+          chmod 600 scripts/deploy_docs_rsa
+          export GIT_SSH_COMMAND="/usr/bin/ssh -i $PWD/scripts/deploy_docs_rsa"
+          git config --global user.name "Github Actions"
+          git config --global user.email "[email protected]"
+          bash scripts/deploy_docs.sh