From 8dabc0ee691a2a0de1c4d02d9d119745b81e49fc Mon Sep 17 00:00:00 2001
From: Mikael Svenson <misvenso@microsoft.com>
Date: Tue, 5 Mar 2024 13:21:41 +0100
Subject: [PATCH] Update manual docs job

---
 .github/workflows/publish-docs.yml | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/publish-docs.yml b/.github/workflows/publish-docs.yml
index ee32e48c..6633a6f9 100644
--- a/.github/workflows/publish-docs.yml
+++ b/.github/workflows/publish-docs.yml
@@ -1,19 +1,22 @@
-name: Publish Docs only
+name: Publish Docs manually
 
 on:
-  push:
-    branches:
-      - main
+  workflow_dispatch:
+    inputs:
+      publish_docs:
+        default: true
+        description: 'Publish docs?' 
       
 jobs:       
   release:
     runs-on: ubuntu-latest
     environment: production
+    if: ${{ github.event.inputs.publish_docs }}
     steps:     
       - uses: actions/checkout@v3
         with:
           fetch-depth: 0
-                                    
+
       - name: Setup python
         uses: actions/setup-python@v2
         with: