Remove *.xml files in `make clean`.

diff --git a/makefile b/makefile
index 32385676c55b7756228f11e614755bd45bb7decb..c6c79812539f456877a7af34cd55f530f67774ac 100644 (file)
--- 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