Minor makefile fix.

diff --git a/makefile b/makefile
index 1a585c0d9b6cf308ca68432d02c434b872b86a14..df34c79710162399f5bc13263f6624b0708f2d76 100644 (file)
--- a/makefile
+++ b/makefile
@@ -52,9 +52,9 @@ clean:
        runghc Setup.hs clean
        rm -f *.log
        rm -f *.xml
-       rm *.prof
        rm -rf tmp
        rm -f schemagen/*.dtd
+       find ./ -name '*.prof' -delete
        find ./ -name '*.o' -delete
        find ./ -name '*.hi' -delete