From 1b46a1b05f450e9fa7bddc6e50c61ec5c631e27d Mon Sep 17 00:00:00 2001
From: Iustin Pop <iustin@debian.org>
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