From 131479059ac5761876dcade5127841fc2c0f1fbe Mon Sep 17 00:00:00 2001
From: Eric Schrock <Eric.Schrock@delphix.com>
Date: Thu, 26 Sep 2019 10:50:47 -0400
Subject: [PATCH] don't include .doctrees in output

---
 docs/build.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/build.sh b/docs/build.sh
index 6aa3b830..f6601ca5 100755
--- a/docs/build.sh
+++ b/docs/build.sh
@@ -19,6 +19,7 @@ BUILD_DIR=$(dirname $0)/build
 VENV_DIR=$BUILD_DIR/venv
 OUT_DIR=$BUILD_DIR/out
 SRC_DIR=$(dirname $0)/src
+DOCTREE_DIR=$BUILD_DIR/doctrees
 
 function usage() {
   echo "Usage: $0 [-r development|official] [-v version]" 1>&2
@@ -65,7 +66,7 @@ pip3 install -r $(dirname $0)/requirements.txt
 #
 rm -rf $OUT_DIR
 sphinx-build -W --keep-going $SRC_DIR $OUT_DIR -D release_type=$release_type \
-  -D version=$version
+  -D version=$version -d $DOCTREE_DIR
 
 #
 # Sphinx's use of _static and friends is problematic for github pages, which is