From 1704f94a497451f312d4791c601857ced30273da Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 22 Jun 2004 12:02:14 +0000 Subject: [PATCH] delete tarbalss in distclean --- src/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Makefile b/src/Makefile index 593f19450..9d92da46e 100644 --- a/src/Makefile +++ b/src/Makefile @@ -75,6 +75,7 @@ distclean: clean -rm -f for-ghc-nofud/*.hs -rm -f java/gf-java.jar jgf2 -rm -f config.status config.mk config.log + -rm -f *.tar.gz *.zip hugs: hugs -h10M -P$(HUGSINCLUDE)