From 973cb329b56786ad6e67e6d90a04d65ea80279cd Mon Sep 17 00:00:00 2001 From: Iustin Pop Date: Sun, 29 Nov 2020 21:14:35 +0100 Subject: [PATCH] Remove Sphinx 1.3+ patch, builds correctly with modern versions --- debian/patches/series | 1 - debian/patches/sphinx-1.3.patch | 9 --------- 2 files changed, 10 deletions(-) delete mode 100644 debian/patches/sphinx-1.3.patch diff --git a/debian/patches/series b/debian/patches/series index 02be2ef..60b7f3f 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,2 +1 @@ -sphinx-1.3.patch easy-doc.patch diff --git a/debian/patches/sphinx-1.3.patch b/debian/patches/sphinx-1.3.patch deleted file mode 100644 index eae125b..0000000 --- a/debian/patches/sphinx-1.3.patch +++ /dev/null @@ -1,9 +0,0 @@ -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