From 536a39f22b8a74f455603b0d79913a91147a3252 Mon Sep 17 00:00:00 2001
From: Dregu <dregu@dreg.us>
Date: Fri, 23 Dec 2022 01:13:35 +0200
Subject: [PATCH] test what docs workflow does now

---
 .github/workflows/build-docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml
index 0b43e1c62..1eabed055 100644
--- a/.github/workflows/build-docs.yml
+++ b/.github/workflows/build-docs.yml
@@ -37,7 +37,7 @@ jobs:
         cd docs
         chmod +x generate_all.sh
         chmod +x generate_slate.sh
-        ./generate_all.sh
+        ./generate_all.sh || true
 
     - name: Push changes
       uses: ad-m/github-push-action@master