1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/plugin/Makefile b/plugin/Makefile
-index 5bf2892..1800191 100644
+index 5bf2892..534aea4 100644
--- a/plugin/Makefile
+++ b/plugin/Makefile
@@ -31,10 +31,10 @@ PLUGIN_CMO = eset emap completeMap multiset misc arithSig arith \
# PLUGIN_HAS_MLI := yes
-
-+DESTDIR=debian/tmp/
++DESTDIR=../debian/tmp/
# include Makefile.plugin
include $(FRAMAC_SHARE)/Makefile.dynamic