From 17e564c6f04372553716d912fd4ee999d41109dc Mon Sep 17 00:00:00 2001
From: Christian Legnitto <LegNeato@users.noreply.github.com>
Date: Mon, 15 Apr 2019 21:41:00 -0700
Subject: [PATCH] Use bash for docs scripts

This is erroring out on CI as `pipefail` is a bash-ism AFAICT.
---
 docs/book/ci-build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/book/ci-build.sh b/docs/book/ci-build.sh
index c3ce9055..6f66df52 100755
--- a/docs/book/ci-build.sh
+++ b/docs/book/ci-build.sh
@@ -1,4 +1,4 @@
-#! /usr/bin/env sh
+#! /usr/bin/env bash
 
 # Usage: ./ci-build.sh VERSION
 #