From 504114a41692bbc1e1621d84cadff4773f23bf35 Mon Sep 17 00:00:00 2001
From: courant <courant@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 12 Mar 2002 10:18:54 +0000
Subject: *** empty log message ***

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

(limited to 'distrib/Makefile')

diff --git a/distrib/Makefile b/distrib/Makefile
index 30bbc830e..e7f16f0c1 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -23,7 +23,7 @@ RPM=${RAWRPM} ${RPMBUILDROOTOPT} --rcfile rpmrc
 FTPDIR=/net/pauillac/infosystems/ftp/coq/coq
 WWWDIR=/net/pauillac/infosystems/www/coq
 
-COQDEBPACKAGE=coq_${VERSION}-${RELEASENUM}_i386.deb
+COQDEBPACKAGE=coq_${VERSION}-${DEBRELEASENUM}_i386.deb
 
 COQPACKAGE=coq-${VERSION}
 COQRPMPACKAGE=coq-${VERSION}-${RELEASENUM}
@@ -311,12 +311,18 @@ ${COQDEBORIG}.tar.gz: ${COQPACKAGE}.tar.gz
 	tar czf ${COQDEBORIG}.tar.gz ${COQDEBORIG}	
 	rm -rf ${COQDEBORIG}
 
-deb: ${COQDEBORIG}.tar.gz ${COQPACKAGE}.tar.gz
+prep-deb: ${COQDEBORIG}.tar.gz ${COQPACKAGE}.tar.gz
 	rm -rf deb_build
 	mkdir -p deb_build
 	cd deb_build ; cp ../${COQDEBORIG}.tar.gz .
 	cd deb_build ; tar xzf ../${COQPACKAGE}.tar.gz
 	cp -a debian deb_build/${COQPACKAGE}
 	rm -rf deb_build/${COQPACKAGE}/debian/CVS
+
+deb: prep-deb
 	cd deb_build/${COQPACKAGE} ; dpkg-buildpackage -rfakeroot -uc -us 2>&1 | tee ../../deb.log
 	lintian deb_build/${COQDEBCHANGES} || true
+
+deb-sign: prep-deb
+	cd deb_build/${COQPACKAGE} ; dpkg-buildpackage -rfakeroot 2>&1 | tee ../../deb.log
+	lintian deb_build/${COQDEBCHANGES} || true
-- 
cgit v1.2.3