[minieigen] 02/03: Change sphinx thema.
Anton Gladky
gladk at moszumanska.debian.org
Sat Mar 18 21:22:22 UTC 2017
This is an automated email from the git hooks/post-receive script.
gladk pushed a commit to branch jessie-backports
in repository minieigen.
commit 38de083b2c3d0d7546f937c1829ed16677cb0da8
Author: Anton Gladky <gladk at debian.org>
Date: Sat Mar 18 21:05:39 2017 +0100
Change sphinx thema.
---
debian/patches/20_change_sphinx_thema.patch | 16 ++++++++++++++++
debian/patches/series | 1 +
2 files changed, 17 insertions(+)
diff --git a/debian/patches/20_change_sphinx_thema.patch b/debian/patches/20_change_sphinx_thema.patch
new file mode 100644
index 0000000..7109d4f
--- /dev/null
+++ b/debian/patches/20_change_sphinx_thema.patch
@@ -0,0 +1,16 @@
+Description: Change sphinx thema
+ This patch fixes FTBFS due to missing sphinx-thema
+Author: Anton Gladky <gladk at debian.org>
+Last-Update: 2017-03-18
+
+--- minieigen-0.50.3+dfsg1.orig/doc/source/conf.py
++++ minieigen-0.50.3+dfsg1/doc/source/conf.py
+@@ -182,7 +182,7 @@ pygments_style = 'sphinx'
+
+ # The theme to use for HTML and HTML Help pages. See the documentation for
+ # a list of builtin themes.
+-html_theme = 'classic'
++html_theme = 'default'
+
+ # Theme options are theme-specific and customize the look and feel of a theme
+ # further. For a list of options available for each theme, see the
diff --git a/debian/patches/series b/debian/patches/series
index f42864d..822cc43 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
10_remove_embedded_double-conversion.patch
+20_change_sphinx_thema.patch
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/minieigen.git
More information about the debian-science-commits
mailing list