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