From 07fd01ad46baf363d4e1d6cd29937ca730fe8901 Mon Sep 17 00:00:00 2001
From: Ben Firshman <ben@firshman.co.uk>
Date: Mon, 24 Feb 2014 18:35:06 +0000
Subject: [PATCH] Exit deploy docs script on Fig error

---
 script/build-docs  | 2 +-
 script/deploy-docs | 3 +--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/script/build-docs b/script/build-docs
index c4e649430..cafba23f5 100755
--- a/script/build-docs
+++ b/script/build-docs
@@ -1,5 +1,5 @@
 #!/bin/bash
-
+set -ex
 pushd docs
 fig run jekyll jekyll build
 popd
diff --git a/script/deploy-docs b/script/deploy-docs
index 766892cb4..f5427ea5c 100755
--- a/script/deploy-docs
+++ b/script/deploy-docs
@@ -1,9 +1,8 @@
 #!/bin/bash
+set -ex
 
 script/build-docs
 
-set -ex
-
 pushd docs/_site
 
 export GIT_DIR=.git-gh-pages