From bf31955186e4e3dd4e4f57cbf915fd9fc3d6b793 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sun, 22 Dec 2013 13:15:07 -0500 Subject: [PATCH] Remove *.xml files in `make clean`. --- makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/makefile b/makefile index 3238567..c6c7981 100644 --- a/makefile +++ b/makefile @@ -23,6 +23,7 @@ doc: src/*.hs clean: runghc Setup.hs clean rm -f *.log + rm -f *.xml rm -rf tmp $(TESTSUITE_BIN): src/*.hs test/TestSuite.hs -- 2.43.2