diff --git a/build_tools/circle/build_doc.sh b/build_tools/circle/build_doc.sh
index c83b7ec083658712d2490aab589a96e79bcb8025..29e06a2d6639e65346747ee8c66bc520ff9e6f59 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