deb pkg ctd
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 21 May 2014 10:28:34 +0000 (12:28 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 21 May 2014 10:28:34 +0000 (12:28 +0200)
Makefile

index e52e2e9..6069f41 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -88,6 +88,7 @@ DEBTARBALL=../$(RPMNAME)_$(DEBVERSION).orig.tar.bz2
 DATE=$(shell date -u +"%a, %d %b %Y %T")
 force:
 
+debian: DESTDIR=debian/tmp
 debian: forward_api_calls install debian/changelog debian.source debian.package
 
 debian/changelog: debian/changelog.in