From b6722a963ad209ab14c46f3fb9467d47f8681ce5 Mon Sep 17 00:00:00 2001
From: Guillaume Mulocher <gmulocher@arista.com>
Date: Mon, 4 Mar 2024 17:38:15 +0100
Subject: [PATCH] ci: Add possibility to re-run devel doc manually (#571)

---
 .github/workflows/main-doc.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/main-doc.yml b/.github/workflows/main-doc.yml
index 3d2a507c1..0d46fa908 100644
--- a/.github/workflows/main-doc.yml
+++ b/.github/workflows/main-doc.yml
@@ -10,6 +10,7 @@ on:
       # May need to update this
       - "docs/**"
       - "mkdocs.yml"
+  workflow_dispatch:
 
 jobs:
   'build_latest_doc':