From 2ac19e18ae5a997e5d38ec80bc522f67128cc02b Mon Sep 17 00:00:00 2001
From: Mohammed Ghannam <mohammad.m.ghannam@gmail.com>
Date: Fri, 2 Aug 2024 10:50:10 +0200
Subject: [PATCH] Move doc generation to separate workflow

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

diff --git a/.github/workflows/generate_docs.yml b/.github/workflows/generate_docs.yml
new file mode 100644
index 000000000..01a42df24
--- /dev/null
+++ b/.github/workflows/generate_docs.yml
@@ -0,0 +1,16 @@
+name: Generate documentation
+
+on:
+  workflow_dispatch:
+      inputs: {}
+
+jobs:
+  generate-documentation:
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: actions/checkout@v3
+
+      - name: Generate documentation
+        run: |
+          sudo apt-get install doxygen graphviz
+          bash -ex generate-docs.sh "${{ secrets.GITHUB_TOKEN }}" "gh-pages"
\ No newline at end of file