From 49fe9157987d0d3fefb812d7af4f560566eaa42e Mon Sep 17 00:00:00 2001
From: Yaroslav Halchenko <debian@onerussian.com>
Date: Thu, 25 Jun 2015 10:12:56 -0400
Subject: [PATCH] BF: fail if docs failed to build

---
 docs/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/Makefile b/docs/Makefile
index 3a7b8c2c3..373a1ae82 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -27,7 +27,7 @@ help:
 
 build: 
 	mkdir -p build/$(BUILDER) build/doctrees
-	-sphinx-build $(ALLSPHINXOPTS)
+	sphinx-build $(ALLSPHINXOPTS)
 	@echo