From f41e0b08f9821264efe596f4c4be60a76656c63c Mon Sep 17 00:00:00 2001 From: Iustin Pop Date: Mon, 29 Jun 2015 21:48:32 +0200 Subject: [PATCH] Add patch to fix building with Sphinx 1.3 --- debian/patches/series | 1 + debian/patches/sphinx-1.3.patch | 9 +++++++++ 2 files changed, 10 insertions(+) create mode 100644 debian/patches/sphinx-1.3.patch diff --git a/debian/patches/series b/debian/patches/series index be61a25..a446155 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1,2 @@ python-pylibacl_hurd.patch +sphinx-1.3.patch diff --git a/debian/patches/sphinx-1.3.patch b/debian/patches/sphinx-1.3.patch new file mode 100644 index 0000000..eae125b --- /dev/null +++ b/debian/patches/sphinx-1.3.patch @@ -0,0 +1,9 @@ +Fix building with Sphinx 1.3 +--- a/Makefile ++++ b/Makefile +@@ -1,4 +1,4 @@ +-SPHINXOPTS = -W ++SPHINXOPTS = + SPHINXBUILD = sphinx-build + DOCDIR = doc + DOCHTML = $(DOCDIR)/html -- 2.39.5