From: Michael Orlitzky <michael@orlitzky.com>
Date: Sun, 22 Dec 2013 18:15:07 +0000 (-0500)
Subject: Remove *.xml files in `make clean`.
X-Git-Tag: 0.0.2~23
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=bf31955186e4e3dd4e4f57cbf915fd9fc3d6b793;p=dead%2Fhtsn.git

Remove *.xml files in `make clean`.
---

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