Make circleCI exit with error if sphinx warnings are generated.

cmarmo · cmarmo · commit a642e3211008 · 2019-10-23T17:02:08.000+02:00
diff --git a/build_tools/circle/build_doc.sh b/build_tools/circle/build_doc.sh
@@ -203,5 +203,13 @@ then
     echo "$warnings" | sed 's/\/home\/circleci\/project\//<li>/g'
     echo '</ul></body></html>'
     ) > 'doc/_build/html/stable/_changed.html'
+
+    check = `echo $warnings | grep "no warnings"`
+    if [ -z "$check" ]
+    then
+        echo "There are Sphinx Warnings in the documentation!"
+        echo "Please check doc/_build/html/stable/_changed.html"
+        exit 1
+    fi
 fi
 
