From 9290f1fe99c91ba6c57dec956ff73d1741d81b45 Mon Sep 17 00:00:00 2001
From: Zheng Da <zhengda1936@gmail.com>
Date: Tue, 17 Nov 2009 10:29:23 +0100
Subject: Add DDEKit headers.

---
 libddekit/include/Makefile | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 libddekit/include/Makefile

(limited to 'libddekit/include/Makefile')

diff --git a/libddekit/include/Makefile b/libddekit/include/Makefile
new file mode 100644
index 00000000..8d31023f
--- /dev/null
+++ b/libddekit/include/Makefile
@@ -0,0 +1,9 @@
+PKGDIR	?= ..
+L4DIR	?= $(PKGDIR)/../..
+
+# All haeder files found in this directory tree will be automatically
+# installed in a way that they can be included with
+# #include <l4/pkgname/yourfile.h> later.
+# No need to list them in this Makefile.
+
+include $(L4DIR)/mk/include.mk
-- 
cgit v1.2.3