From ca9f74a895239022415f27bf98f18b5629a3bbd7 Mon Sep 17 00:00:00 2001
From: "Remi GASCOU (Podalirius)"
 <79218792+p0dalirius@users.noreply.github.com>
Date: Thu, 18 Jun 2026 18:32:42 +0200
Subject: [PATCH] Fix deploy failure: make gen-manticore-docs.sh executable
 (#3)

Set the git executable bit on scripts/gen-manticore-docs.sh (was 100644) and
invoke it via bash in the deploy workflow so the generation step no longer
exits 126 with Permission denied.
---
 .github/workflows/deploy.yml  | 2 +-
 scripts/gen-manticore-docs.sh | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 mode change 100644 => 100755 scripts/gen-manticore-docs.sh

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 8d46e58..1e36e09 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -45,7 +45,7 @@ jobs:
       - name: Generate Manticore API docs
         env:
           GH_TOKEN: ${{ github.token }}
-        run: scripts/gen-manticore-docs.sh
+        run: bash scripts/gen-manticore-docs.sh
 
       - name: Setup Pages
         id: pages
diff --git a/scripts/gen-manticore-docs.sh b/scripts/gen-manticore-docs.sh
old mode 100644
new mode 100755