From 872665f5f3789d10aa7992460ccaea5bceb7ae91 Mon Sep 17 00:00:00 2001
From: John Kerl <kerl.john.r@gmail.com>
Date: Tue, 21 Jul 2015 21:25:04 -0400
Subject: [PATCH] top-level makefile

---
 Makefile | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 000000000..013a96416
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,7 @@
+all: c doc
+c: .always
+	make -C c install
+doc: .always
+	cd doc && poki
+.always:
+	@true