From dac3a27bbf53eb7c2120cb6402b71166088a2370 Mon Sep 17 00:00:00 2001
From: Manfred Riem <mriem@manorrock.com>
Date: Tue, 27 Aug 2024 18:17:09 -0500
Subject: [PATCH] Fixes #3862 - Add publishing of release version of
 documentation

---
 .github/workflows/docs-release.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docs-release.yml b/.github/workflows/docs-release.yml
index 2ce69259a4..38827dd370 100644
--- a/.github/workflows/docs-release.yml
+++ b/.github/workflows/docs-release.yml
@@ -1,5 +1,6 @@
 name: docs-release
-workflow_dispatch:
+on: 
+  workflow_dispatch:
     inputs:
       version:
         description: 'Release version'