From 4a47be89defc847a27822da5f79ab044eb6a50d4 Mon Sep 17 00:00:00 2001
From: "Veronica K. B. Olsen" <1619840+vkbo@users.noreply.github.com>
Date: Sun, 11 Oct 2020 15:41:14 +0200
Subject: [PATCH] Setup script should fail when help docs build fails

---
 setup.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/setup.py b/setup.py
index 515c2bfd..f0a9eb89 100755
--- a/setup.py
+++ b/setup.py
@@ -77,6 +77,7 @@ if buildDocs:
     print("")
     if buildFail:
         print("Documentation build: FAILED")
+        sys.exit(1)
     else:
         print("Documentation build: OK")
     print("")