From dac176fdef4d5f9c16a5ec8ecadb605cd78e6335 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Blondon?= 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