From f5a7b77a454079b717c0264347f12278d292808b Mon Sep 17 00:00:00 2001
From: Jev Kuznetsov <jev.kuznetsov@gmail.com>
Date: Wed, 1 May 2024 21:51:10 +0200
Subject: [PATCH] Update deploy-mkdocs.yml

---
 .github/workflows/deploy-mkdocs.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/deploy-mkdocs.yml b/.github/workflows/deploy-mkdocs.yml
index e551d17..3e9e8fc 100644
--- a/.github/workflows/deploy-mkdocs.yml
+++ b/.github/workflows/deploy-mkdocs.yml
@@ -7,6 +7,7 @@ on:
     paths:
       - "docs/**"
       - "mkdocs.yml"
+  workflow_dispatch:  # This line enables manual triggering from GitHub UI
 
 jobs:
   deploy: