From 9ee76bb5ca9737f6339ab0619747ff3c736ecd3d Mon Sep 17 00:00:00 2001 From: Iustin Pop Date: Sun, 29 Nov 2020 21:21:04 +0100 Subject: [PATCH] Refresh the easy-doc patch --- debian/patches/easy-doc.patch | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/patches/easy-doc.patch b/debian/patches/easy-doc.patch index 0caa475..d88ce9b 100644 --- a/debian/patches/easy-doc.patch +++ b/debian/patches/easy-doc.patch @@ -1,8 +1,8 @@ --- a/Makefile +++ b/Makefile -@@ -15,7 +15,7 @@ all: doc test +@@ -19,7 +19,7 @@ $(MODNAME): xattr.c - ./setup.py build_ext --inplace + $(PYTHON) ./setup.py build_ext --inplace -$(DOCHTML)/index.html: $(MODNAME) $(RSTFILES) +$(DOCHTML)/index.html: $(RSTFILES) -- 2.39.5