Setup script should fail when help docs build fails

2020-10-11 15:41:14 +02:00
parent ea4c5a8e49
commit 4a47be89de
1 changed files with 1 additions and 0 deletions
@@ -77,6 +77,7 @@ if buildDocs:
    print("")
    if buildFail:
        print("Documentation build: FAILED")
+        sys.exit(1)
    else:
        print("Documentation build: OK")
    print("")