From 76c637cafeeb86ce5abb8c8029b1f49d04d4d892 Mon Sep 17 00:00:00 2001 From: Christian Ehrhardt Date: Thu, 23 Jun 2016 10:47:56 +0200 Subject: d/control: add build dep to python-sphinx-rtd-theme Avoids the following issue in sid: Theme error: sphinx_rtd_theme is no longer a hard dependency since version 1.4.0. Please install it manually.(pip install sphinx_rtd_theme) /<>/mk/rte.sdkdoc.mk:110: recipe for target 'guides-html' failed make[2]: *** [guides-html] Error 1 /<>/mk/rte.sdkroot.mk:107: recipe for target 'doc-guides-html' failed make[1]: *** [doc-guides-html] Error 2 make[1]: *** Waiting for unfinished jobs... Change-Id: Ia5662a7112b9fbf63a40db5ba7527c156b6536b8 Signed-off-by: Christian Ehrhardt --- debian/control | 1 + 1 file changed, 1 insertion(+) (limited to 'debian/control') diff --git a/debian/control b/debian/control index 3ce43d2f..57c7c911 100644 --- a/debian/control +++ b/debian/control @@ -14,6 +14,7 @@ Build-Depends: debhelper (>= 9), libxenstore3.0, python, python-sphinx, + python-sphinx-rtd-theme, texlive-fonts-recommended, texlive-latex-extra Standards-Version: 3.9.8 -- cgit 1.2.3-korg