From fb12dd1ed965881496e4283597630b30e88f2fbf Mon Sep 17 00:00:00 2001
From: Crayon <crayon1@rocketmail.com>
Date: Fri, 4 Feb 2022 18:54:47 -0500
Subject: [PATCH] Publish documentation when pushing to a tag (#156)

---
 .github/workflows/doc.yml | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 .github/workflows/doc.yml

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
new file mode 100644
index 00000000..d50eeefd
--- /dev/null
+++ b/.github/workflows/doc.yml
@@ -0,0 +1,33 @@
+name: Documentation
+
+on:
+  push:
+    tags:
+      - '*'
+
+jobs:
+  doc:
+    name: Deploy documentation
+    runs-on: ubuntu-20.04
+
+    steps:
+
+    - name: Checkout the Git repository
+      uses: actions/checkout@v2
+
+    - name: Generate Documentation
+      run: |
+        sudo apt-get update
+        sudo apt-get install -y cmake doxygen doxygen-latex graphviz
+        cd docs
+        sudo cmake .
+        doxygen Doxyfile.docs >/dev/null
+
+    - name: Deploy to GitHub Pages
+      uses: JamesIves/github-pages-deploy-action@v4.2.3
+      with:
+        branch: gh-pages
+        folder: docs/html
+        single-commit: true
+        clean: true
+        clean-exclude: CNAME