From 6028f55db5ae3df975f7497ced179b62f8eac63c Mon Sep 17 00:00:00 2001
From: Joel Nothman <joel.nothman@gmail.com>
Date: Thu, 29 Jun 2017 20:45:25 +1000
Subject: [PATCH] CI fix latexmk option
---
build_tools/circle/build_doc.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build_tools/circle/build_doc.sh b/build_tools/circle/build_doc.sh
index c83b7ec083..29e06a2d66 100755
--- a/build_tools/circle/build_doc.sh
+++ b/build_tools/circle/build_doc.sh
@@ -76,7 +76,7 @@ if [[ "$CIRCLE_BRANCH" =~ ^master$|^[0-9]+\.[0-9]+\.X$ && -z "$CI_PULL_REQUEST"
then
# nonstopmode is used to not wait for CI timeout in case of an error
# PDF linked into HTML
- MAKE_TARGET="dist LATEXMKOPTS=--interaction=nonstopmode"
+ MAKE_TARGET="dist LATEXMKOPTS=-interaction=nonstopmode"
elif [[ "$build_type" =~ ^QUICK ]]
then
MAKE_TARGET=html-noplot
--
GitLab