From de436c231d3b0379e1ee8704826c916ac3909afc Mon Sep 17 00:00:00 2001
From: Julien Robert <julien@rbrt.fr>
Date: Mon, 5 Sep 2022 15:46:30 +0200
Subject: [PATCH] ci: add `csplit` for documetation building (#13154)

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

diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
index 68e90124ac..4ae01c38a9 100644
--- a/.github/workflows/deploy-docs.yml
+++ b/.github/workflows/deploy-docs.yml
@@ -9,6 +9,7 @@ on:
     paths:
       - "docs/**"
       - "x/**/*.md"
+      - .github/workflows/deploy-docs.yml
 
 permissions:
   contents: read
@@ -29,7 +30,7 @@ jobs:
 
       - name: Install and Build 🔧
         run: |
-          apk add rsync
+          apk add rsync csplit
           make build-docs LEDGER_ENABLED=false
 
       - name: Deploy 🚀