From 95aec12d5aeed80c745e7b3af71e47d2d3221579 Mon Sep 17 00:00:00 2001
From: Paul McCarthy <pauldmccarthy@gmail.com>
Date: Thu, 13 Sep 2018 14:07:27 +0100
Subject: [PATCH] CI: Make sure doc deps are installed

---
 .ci/build_doc.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.ci/build_doc.sh b/.ci/build_doc.sh
index 1867d67d0..7aa453b19 100644
--- a/.ci/build_doc.sh
+++ b/.ci/build_doc.sh
@@ -2,5 +2,6 @@
 
 set -e
 
+pip install -r requirements-dev.txt
 python setup.py doc
 mv doc/html doc/"$CI_COMMIT_REF_NAME"
-- 
GitLab