From f935a41b8a3209aa465e87452ed1cb4e0466d576 Mon Sep 17 00:00:00 2001
From: Felix Fontein <felix@fontein.de>
Date: Wed, 7 Dec 2022 19:54:25 +0100
Subject: [PATCH] Allow triggering docs workflow manually.

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

diff --git a/.github/workflows/docs-push.yml b/.github/workflows/docs-push.yml
index 466234e..bff6bad 100644
--- a/.github/workflows/docs-push.yml
+++ b/.github/workflows/docs-push.yml
@@ -17,6 +17,8 @@ on:
   # Run CI once per day (at 05:15 UTC)
   schedule:
     - cron: '15 5 * * *'
+  # Allow manual trigger (for newer antsibull-docs, sphinx-ansible-theme, ... versions)
+  workflow_dispatch:
 
 jobs:
   build-docs: