On Sat, 15 Aug 2015 20:32:09 +0300, Dmitry Shachnev wrote: > Attached is a patch against packaging git master to fix this.
Really attaching the patch now :) -- Dmitry Shachnev
From 6f87290cb168fe51d9658a77844acf48aed971bc Mon Sep 17 00:00:00 2001
From: Dmitry Shachnev <mity...@gmail.com>
Date: Sat, 15 Aug 2015 20:27:32 +0300
Subject: [PATCH] Explicitly specify theme name for Sphinx (closes: #794277).
---
debian/changelog | 3 +++
debian/patches/series | 1 +
debian/patches/use_default_theme.patch | 15 +++++++++++++++
3 files changed, 19 insertions(+)
create mode 100644 debian/patches/use_default_theme.patch
diff --git a/debian/changelog b/debian/changelog
index 8c35c66..6f67c4a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -18,6 +18,9 @@ htseq (0.6.1p1-1) UNRELEASED; urgency=medium
occuring. Skip these tests for the moment.
* cme fix dpkg-control
+ [ Dmitry Shachnev ]
+ * Explicitly specify theme name for Sphinx (closes: #794277).
+
-- Andreas Tille <ti...@debian.org> Sat, 25 Oct 2014 00:11:26 +0200
htseq (0.5.4p3-2) unstable; urgency=low
diff --git a/debian/patches/series b/debian/patches/series
index aebdf5e..2a75a1f 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,3 +2,4 @@ set-matplotlib-backend.patch
fix_version.patch
add_sphinx_man_pages.patch
skip_tests_with_rounding_differences.patch
+use_default_theme.patch
diff --git a/debian/patches/use_default_theme.patch b/debian/patches/use_default_theme.patch
new file mode 100644
index 0000000..422d647
--- /dev/null
+++ b/debian/patches/use_default_theme.patch
@@ -0,0 +1,15 @@
+Description: use default/classic HTML theme
+Author: Dmitry Shachnev <mity...@debian.org>
+Forwarded: no
+Last-Update: 2015-08-15
+
+--- a/doc/conf.py
++++ b/doc/conf.py
+@@ -198,6 +198,7 @@
+ 'Simon Anders', '1'),
+ ]
+
++html_theme = 'default'
+ html_theme_options = {
+ "sidebarbgcolor": "#006666",
+ "sidebarlinkcolor": "#FFFEFF",
--
2.5.0
signature.asc
Description: OpenPGP digital signature
