From 13f08316723d0bd87c94313123020f1a7911718b Mon Sep 17 00:00:00 2001
From: jeanluc <lkubb@protonmail.com>
Date: Fri, 18 Oct 2024 15:16:34 +0200
Subject: [PATCH] Allow triggering docs deploy manually

---
 .github/workflows/deploy-docs-action.yml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/deploy-docs-action.yml b/.github/workflows/deploy-docs-action.yml
index 59d8f2a..fdac15d 100644
--- a/.github/workflows/deploy-docs-action.yml
+++ b/.github/workflows/deploy-docs-action.yml
@@ -8,10 +8,19 @@ on:
         type: string
         required: false
         default: html-docs
+  workflow_dispatch:
 
 jobs:
+  docs:
+    name: Render Docs
+    if: github.event_name == 'workflow_dispatch'
+    uses: ./.github/workflows/docs-action.yml
+
   Deploy-Docs-GH-Pages:
     name: Publish Docs to GitHub Pages
+    needs:
+      - docs
+    if: github.event_name != 'workflow_dispatch' || success()
 
     environment:
       name: github-pages
@@ -27,7 +36,7 @@ jobs:
       - name: Download built docs
         uses: actions/download-artifact@fa0a91b85d4f404e444e00e005971372dc801d16  # v4.1.8
         with:
-          name: ${{ inputs.artifact-name }}
+          name: ${{ github.event_name != 'workflow_dispatch' && inputs.artifact-name || 'html-docs' }}
           path: html-docs
 
       - name: Upload GitHub Pages artifact