From 20108497bab46bf0d92fdf55255a77c8706efae5 Mon Sep 17 00:00:00 2001 From: Sam T Date: Thu, 20 Jun 2013 22:29:11 +0400 Subject: ~ Clean profiling files. --- Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index b5c055dc..e2eba85f 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,6 @@ .PHONY: clean clean: - rm -r tmp \ No newline at end of file + rm -rf tmp + rm *.aux *.eventlog *.ps *.hp *.pdf + cabal clean \ No newline at end of file -- cgit v1.2.3