From 00cc0fa1a3dfaf2bae3169c3cd36e9b79f286dc3 Mon Sep 17 00:00:00 2001
From: Yngve Levinsen <yngve.levinsen@esss.se>
Date: Fri, 6 Sep 2019 12:23:56 +0200
Subject: [PATCH] need to install the new sphinx theme manually

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index fefb7f0..e825ca6 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -16,7 +16,7 @@ check:
 pages:
   stage: deploy
   script:
-  - pip install sphinx sphinxcontrib-blockdiag blockdiag sphinxcontrib-restbuilder numpy
+  - pip install sphinx sphinxcontrib-blockdiag blockdiag sphinxcontrib-restbuilder numpy sphinx_rtd_theme
   - python setup.py install
   - sphinx-build -b html -d public/doctrees   doc public
   artifacts:
-- 
GitLab