X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=makefile;h=8710287b79cb52e0978df8e004bddc756ae3056f;hb=e730f9ce1b9db5bb6d3cdbae9fae735cec2c367f;hp=32385676c55b7756228f11e614755bd45bb7decb;hpb=7c3e8169dfce7de580f2f224d0845de01b379249;p=dead%2Fhtsn.git

diff --git a/makefile b/makefile
index 3238567..8710287 100644
--- a/makefile
+++ b/makefile
@@ -13,7 +13,7 @@ profile: src/*.hs
 	runghc Setup.hs configure --user --enable-executable-profiling
 	runghc Setup.hs build
 
-doc: src/*.hs
+doc: *.cabal src/*.hs
 	runghc Setup.hs configure --user
 	runghc Setup.hs hscolour --executables
 	runghc Setup.hs haddock --internal    \
@@ -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