python-pygments/backport-Remove-generated-output-directory-when-make-clean-is.patch

27 lines
658 B
Diff
Raw Permalink Normal View History

From dac176fdef4d5f9c16a5ec8ecadb605cd78e6335 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Blondon?= <stephane.blondon@gmail.com>
Date: Fri, 29 Nov 2019 16:15:47 +0100
Subject: [PATCH] Remove generated output/ directory when 'make clean' is
called
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 61ee393e..13813adc 100644
--- a/Makefile
+++ b/Makefile
@@ -24,7 +24,7 @@ check:
-i docs/build -i pygments/formatters/_mapping.py -i pygments/unistring.py
clean: clean-pyc
- -rm -rf build
+ -rm -rf build tests/examplefiles/output
-rm -f codetags.html
clean-pyc:
--
2.27.0