From 6a2e2e4df3a4ae64b19c901e2181237f298aa1ed Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Wed, 9 Mar 2022 09:59:14 +0100
Subject: [PATCH] Makefile

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

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..88142d2
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,7 @@
+all: book
+
+book:
+	mdbook build
+
+clean:
+	rm -rf book