From aec060094ef23aae34f163ae9aa3478839749735 Mon Sep 17 00:00:00 2001
From: Jirka B <j.borovec+github@gmail.com>
Date: Thu, 5 Dec 2024 10:40:07 +0100
Subject: [PATCH] set -e

---
 docs/rtfd-build.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/rtfd-build.sh b/docs/rtfd-build.sh
index ba8a8a15331..e9e8f1d1e02 100644
--- a/docs/rtfd-build.sh
+++ b/docs/rtfd-build.sh
@@ -1,6 +1,7 @@
 # building for PRs and skip stable and latest states
 
 export SPHINX_ENABLE_GALLERY=0
+set -e  # halt script on error
 
 if ! [ $READTHEDOCS_VERSION == "latest" -o $READTHEDOCS_VERSION == "stable" ];
 then