From 312b04f1ac33abb2968fbb4fc6e560fd6a99933b Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 16 Jan 2013 10:17:22 +0100
Subject: [PATCH] redirect make debian as make make -f Makefile.debian will
 make sense to merge both eventually

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index 6989044a..013d83b0 100644
--- a/Makefile
+++ b/Makefile
@@ -61,6 +61,10 @@ wsdl-clean:
 
 .PHONY: wsdl wsdl-install wsdl-clean
 
+##########
+debian: version
+	$(MAKE) -f Makefile.debian
+
 ##########
 tests-install:
 	mkdir -p $(DESTDIR)/usr/share/sfa/tests
-- 
2.43.0