From df0d534a56fd10682816b87f8f3145ee4c7162ac Mon Sep 17 00:00:00 2001
From: Stein Magnus Jodal <stein.magnus@jodal.no>
Date: Fri, 1 Apr 2016 08:12:29 +0200
Subject: [PATCH] docs: Depend on sphinx_rtd_theme

As of Sphinx 1.4, it is no longer a transitive dependency, so we need
to depend on it explicitly.
---
 docs/requirements.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/requirements.txt b/docs/requirements.txt
index c75793d9..62c7e3e5 100644
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,2 +1,3 @@
 Sphinx >= 1.0
+sphinx_rtd_theme
 pygraphviz