From 831886a339af8bd5cd14f9d7e5ea4f9ff9ecd744 Mon Sep 17 00:00:00 2001
From: courant
Date: Thu, 19 Apr 2001 06:49:50 +0000
Subject: *** empty log message ***

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

(limited to 'distrib')

diff --git a/distrib/Makefile b/distrib/Makefile
index 88f870a478..0bb793b5bf 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -1,6 +1,6 @@
 # Building the different files of the coq distribution
 
-include config.distrib
+sinclude config.distrib
 LOCALARCH=`uname -m`
 ARCH=`uname -m | sed -e 's/i.86/i386/'`
 SYSTEM=`uname -s`
@@ -41,6 +41,7 @@ noarguments:
 	@echo "make arch-rpm-ftp-install       |repository supposed"
 	@echo "make arch-tar-gz-ftp-install    |to be already"
 	@echo "make contrib-ftp-install	       |prepared"
+	@echo "make deb		 to build a debian package"
 
 ################## Main targets
 
@@ -259,3 +260,8 @@ contrib-ftp-install: prep-ftp-install
 patch-ftp-install: prep-ftp-install
 	cp patch-${VERSION}-$(PREVIOUSVERSION).gz ${FTPDIR}/V${VERSION}/
 	chmod g+w ${FTPDIR}/V${VERSION}/patch-${VERSION}-$(PREVIOUSVERSION).gz
+
+deb:
+	rm -rf ../debian
+	cp -a debian ..
+	cd .. ; dpkg-buildpackage -rfakeroot -uc -us
-- 
cgit v1.2.3