From 0c84670725da286a1fdaffcd49b2dbad7160cf03 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Wed, 23 Jun 2004 10:41:05 +0000
Subject: [PATCH] delete BIN_DIST_DIR at end of binary-dist

---
 src/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Makefile b/src/Makefile
index d01bb2dd4..86f112f5b 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -136,6 +136,7 @@ binary-dist:
 	make unix gfdoc jar
 	make prefix=$(BIN_DIST_DIR)/$(prefix) install 
 	gtar -zcf GF-$(PACKAGE_VERSION)-$(host).tar.gz $(BIN_DIST_DIR)
+	rm -rf $(BIN_DIST_DIR)
 
 install-gf:
 	$(INSTALL) -d $(bindir)