From fa73cd795c9294144aa902a2be1651b43571e2ca Mon Sep 17 00:00:00 2001
From: Joel Nothman <joel.nothman@gmail.com>
Date: Thu, 29 Jun 2017 22:40:58 +1000
Subject: [PATCH] CI latexmk -interaction=nonstopmode not working; use more
 conservative -halt-on-error

---
 build_tools/circle/build_doc.sh | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/build_tools/circle/build_doc.sh b/build_tools/circle/build_doc.sh
index fb8e7da5b6..a08359d93f 100755
--- a/build_tools/circle/build_doc.sh
+++ b/build_tools/circle/build_doc.sh
@@ -74,10 +74,8 @@ fi
 
 if [[ "$CIRCLE_BRANCH" =~ ^master$|^[0-9]+\.[0-9]+\.X$ && -z "$CI_PULL_REQUEST" ]]
 then
-    # dist generates the pdf doc and adds the pdf to the website
-    # nonstopmode is used to prevent CI timeout when the LaTeX
-    # compilation fails
-    MAKE_TARGET="dist LATEXMKOPTS=-interaction=nonstopmode"
+    # PDF linked into HTML
+    MAKE_TARGET="dist LATEXMKOPTS=-halt-on-error"
 elif [[ "$build_type" =~ ^QUICK ]]
 then
 	MAKE_TARGET=html-noplot
-- 
GitLab