From d5f0daf4702676bd9c0961f86e14ad3e4682f9bc Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 29 Jul 2004 15:17:39 +0000
Subject: MAJ cible patch

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5991 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/Makefile | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

diff --git a/distrib/Makefile b/distrib/Makefile
index 4cd80518ed..5bf207ba80 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -400,15 +400,13 @@ contrib-tar-gz:
 	@echo done
 
 
-patch:
-	@echo ******** ATTENTION, plante sur pc-linux, essayez pauillac ******
-	$(CP) $(FTPDIR)/V$(PREVIOUSVERSION)/coq-$(PREVIOUSVERSION).tar.gz .
+patch: $(COQPACKAGE)
+	scp pauillac.inria.fr:$(FTPDIR)/V$(PREVIOUSVERSION)/coq-$(PREVIOUSVERSION).tar.gz .
 	rm -rf coq-$(PREVIOUSVERSION)
-	gunzip -c coq-$(PREVIOUSVERSION).tar.gz | tar x
-	rm -rf $(COQPACKAGE)
-	gunzip -c $(TARGZ) | tar x
-	diff -rc coq-$(PREVIOUSVERSION) $(COQPACKAGE) > patch-$(VERSION)-$(PREVIOUSVERSION)
-	gzip --best patch-$(VERSION)-$(PREVIOUSVERSION)
+	gunzip -c coq-$(PREVIOUSVERSION).tar.gz | tar xf -
+	(diff -rc coq-$(PREVIOUSVERSION) $(COQPACKAGE)\
+	 > patch-$(VERSION)-$(PREVIOUSVERSION);\
+	 gzip --best patch-$(VERSION)-$(PREVIOUSVERSION))
 
 ###################################################################
 # Installation in the ftp repository
-- 
cgit v1.2.3