From 1b46a1b05f450e9fa7bddc6e50c61ec5c631e27d Mon Sep 17 00:00:00 2001 From: Iustin Pop Date: Thu, 14 Nov 2019 12:28:03 +0100 Subject: [PATCH] Refresh sphinx-3 patch for new upstream --- debian/patches/sphinx-1.3.patch | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/debian/patches/sphinx-1.3.patch b/debian/patches/sphinx-1.3.patch index eae125b..f546e0e 100644 --- a/debian/patches/sphinx-1.3.patch +++ b/debian/patches/sphinx-1.3.patch @@ -1,9 +1,10 @@ Fix building with Sphinx 1.3 --- a/Makefile +++ b/Makefile -@@ -1,4 +1,4 @@ +@@ -1,5 +1,5 @@ + PYTHON = python3 -SPHINXOPTS = -W +SPHINXOPTS = - SPHINXBUILD = sphinx-build + SPHINXBUILD = $(PYTHON) -m sphinx DOCDIR = doc DOCHTML = $(DOCDIR)/html -- 2.39.5