From 73a60aabf50488b34f7813036f20246aa702da80 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Thu, 12 May 2005 13:10:16 +0000
Subject: [PATCH] Added grammar-dist target.

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

diff --git a/src/Makefile b/src/Makefile
index e46638981..fe55f32d0 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -17,6 +17,8 @@ NOT_IN_DIST= \
 
 BIN_DIST_DIR=$(DIST_DIR)-$(host)
 
+GRAMMAR_DIST_DIR=GF-grammars-$(PACKAGE_VERSION)
+
 SNAPSHOT_DIR=GF-$(shell date +%Y%m%d)
 
 # use the temporary binary file name 'gf-bin' name to not clash with directory 'GF' 
@@ -190,6 +192,15 @@ binary-dist:
 	gtar -zcf GF-$(PACKAGE_VERSION)-$(host).tgz $(BIN_DIST_DIR)
 	rm -rf $(BIN_DIST_DIR)
 
+grammar-dist:
+	-rm -rf $(GRAMMAR_DIST_DIR)
+	mkdir $(GRAMMAR_DIST_DIR)
+	cvs export -d $(GRAMMAR_DIST_DIR) -rHEAD GF/{lib,examples}
+	mv $(GRAMMAR_DIST_DIR)/GF/* $(GRAMMAR_DIST_DIR)
+	rmdir $(GRAMMAR_DIST_DIR)/GF
+	gtar -zcf $(GRAMMAR_DIST_DIR).tgz $(GRAMMAR_DIST_DIR)
+	rm -rf $(GRAMMAR_DIST_DIR)
+
 #
 # Installation
 #