From a3a4c3f8ca5d0cd900f6d27620530ca394bb7ea7 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Tue, 22 Jun 2004 12:13:19 +0000
Subject: [PATCH] Delete files that should not be in the distribution.

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

diff --git a/src/Makefile b/src/Makefile
index 9d92da46e..fc64584c2 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -14,6 +14,11 @@ GHCINCLUDEGFT  =-ifor-gft       $(BASICINCLUDE)
 WINDOWSINCLUDE =-ifor-windows   $(BASICINCLUDE) 
 
 DIST_DIR=GF-$(PACKAGE_VERSION)
+NOT_IN_DIST= \
+	from-peb \
+	grammars/resource \
+	src/parsing \
+	src/conversions
 
 all: unix
 
@@ -99,10 +104,12 @@ tracing:
 	mv gf2 ../bin/
 
 dist:
+	-rm -rf $(DIST_DIR)
 	mkdir $(DIST_DIR)
 	cvs export -d $(DIST_DIR) -rHEAD GF2.0
 	cd $(DIST_DIR)/src && autoconf && rm -rf autom4te.cache
 	find $(DIST_DIR) -name .cvsignore -exec rm -f {} ';'
+	cd $(DIST_DIR) && rm -rf $(NOT_IN_DIST)
 	tar -zcf $(DIST_DIR).tar.gz $(DIST_DIR)
 	zip -r $(DIST_DIR).zip $(DIST_DIR)
 	rm -rf $(DIST_DIR)