From a5280d7d02e30f024047592e0e40aa9f74bdfaa4 Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <andersk@mit.edu>
Date: Fri, 3 Aug 2018 00:14:48 +0000
Subject: [PATCH] build-docs: Fix shellcheck warnings.

In tools/build-docs line 3:
cd "$(dirname "$0")"/../docs
^-- SC2164: Use 'cd ... || exit' or 'cd ... || return' in case cd fails.

Signed-off-by: Anders Kaseorg <andersk@mit.edu>
---
 tools/build-docs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/build-docs b/tools/build-docs
index 5fc65d5a10..ae88e62278 100755
--- a/tools/build-docs
+++ b/tools/build-docs
@@ -1,4 +1,5 @@
 #!/usr/bin/env bash
+set -eu
 
 cd "$(dirname "$0")"/../docs
 rm -rf _build