From 9614364dec7aec386d733583ead02c44bf2ae37c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Robert=20Sch=C3=BCtz?=
 <robert.schuetz@stud.uni-heidelberg.de>
Date: Mon, 3 Dec 2018 11:59:12 +0100
Subject: [PATCH] python.pkgs.sphinx_rtd_theme: add sphinx to
 propagatedBuildInputs

---
 pkgs/development/python-modules/sphinx_rtd_theme/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/development/python-modules/sphinx_rtd_theme/default.nix b/pkgs/development/python-modules/sphinx_rtd_theme/default.nix
index 0a6040bc592..6ce714c9a31 100644
--- a/pkgs/development/python-modules/sphinx_rtd_theme/default.nix
+++ b/pkgs/development/python-modules/sphinx_rtd_theme/default.nix
@@ -1,6 +1,7 @@
 { stdenv
 , buildPythonPackage
 , fetchPypi
+, sphinx
 }:
 
 buildPythonPackage rec {
@@ -12,6 +13,8 @@ buildPythonPackage rec {
     sha256 = "02f02a676d6baabb758a20c7a479d58648e0f64f13e07d1b388e9bb2afe86a09";
   };
 
+  propagatedBuildInputs = [ sphinx ];
+
   meta = with stdenv.lib; {
     description = "ReadTheDocs.org theme for Sphinx";
     homepage = https://github.com/snide/sphinx_rtd_theme/;