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("")