From e1d8605cc9657565449010b1975596af5d7e0c96 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 21 May 2014 12:28:34 +0200
Subject: [PATCH] deb pkg ctd

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index e52e2e9..6069f41 100644
--- 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
-- 
2.43.0