From fdd1aae0c3f01f38b861fcedffa6449728fd43e0 Mon Sep 17 00:00:00 2001
From: courant
Date: Thu, 19 Apr 2001 14:45:14 +0000
Subject: ajout du cas win32

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1631 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'distrib')

diff --git a/distrib/Makefile b/distrib/Makefile
index 0bb793b5bf..6a3cea54e5 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -262,6 +262,9 @@ patch-ftp-install: prep-ftp-install
 	chmod g+w ${FTPDIR}/V${VERSION}/patch-${VERSION}-$(PREVIOUSVERSION).gz
 
 deb:
-	rm -rf ../debian
+	rm -rf ../debian ../../coq-7.0.0.orig ../../coq_7.0.0_* ../../coq_7.0.0.*
+	cd ../.. ; cp -a coq-7.0.0 coq-7.0.0.orig
 	cp -a debian ..
 	cd .. ; dpkg-buildpackage -rfakeroot -uc -us
+#	rm -rf ../debian
+
-- 
cgit v1.2.3