From b3fbf511743071a8fa58e4f88ecfb0f11743c8d2 Mon Sep 17 00:00:00 2001
From: Juan Jose Garcia Ripoll <jjgarcia@users.sourceforge.net>
Date: Tue, 24 Jul 2012 18:51:53 +0200
Subject: [PATCH] Simpler way to construct the source distribution.

---
 Makefile.in | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index c8a4f48ed..dcbe08d62 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -147,11 +147,8 @@ rpmbuild=$(shell if [ -z `which rpmbuild` ]; then echo "rpm"; else echo "rpmbuil
 # 	grep -v '^#% ' > $(rpmdir)/SPECS/ecl.spec;
 # 	rpm -ba $(rpmdir)/SPECS/ecl.spec
 
-$(TAR_DIR):
-	git clone .git $(TAR_DIR)
-$(TAR_DIR).tgz: $(TAR_DIR)
-	cd $(TAR_DIR) && git pull && git reset --hard
-	tar -cz --exclude .git -f $(TAR_DIR).tgz $(TAR_DIR)
+$(TAR_DIR).tgz:
+	git archive --format=tar.gz --prefix=$(TAR_DIR)/ HEAD > $@
 
 binary-dist: all
 	su -c "rm -rf tmp"