Run automake and autoconf everytime on a docs build

apache · Sep 19, 2018 · 171830f · 171830f
1 parent 483b1b3
commit 171830f
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/ci/jenkins/bin/docs.sh b/ci/jenkins/bin/docs.sh
@@ -20,9 +20,8 @@
 test -z "${ATS_MAKE}" && ATS_MAKE="make"
 test ! -z "${WORKSPACE}" && cd "${WORKSPACE}/src"
 
-# This avoids redoing the configure on every doc build, which is somewhat annoying
-[ ! -f configure ] && autoreconf -fi
-[ ! -f config.nice ] && ./configure --enable-docs
+# Run configure on the docs builds each time in case there have been updates
+autoreconf -fi && ./configure --enable-docs || exit 1
 
 cd doc