Merge pull request #3004 from mhils/docs-improvements

Docs Improvements

1 files changed, 2 insertions, 1 deletions

diff --git a/docs/ci b/docs/ci
index 1584c5e1..107e8370 100755
--- a/docs/ci
+++ b/docs/ci
@@ -1,8 +1,9 @@
 #!/bin/bash
+set -e
 
 # This script gets run from CI to render and upload docs
 
-./build
+./build-current
 
 # Only upload if we have defined credentials - we only have these defined for
 # trusted commits (i.e. not PRs).