summaryrefslogtreecommitdiff
path: root/Makefile
blob: e2eba85f53875b0e52e6706ea4490aaee0ed1925 (plain)
1
2
3
4
5
6
.PHONY: clean

clean:
	rm -rf tmp
	rm *.aux *.eventlog *.ps *.hp *.pdf
	cabal clean