From 5e03283114c9b1be6b60c39ffecf4c1a98716053 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Wed, 9 Mar 2022 11:25:42 +0100
Subject: [PATCH] deploy target

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

diff --git a/Makefile b/Makefile
index 88142d2..a2ad818 100644
--- a/Makefile
+++ b/Makefile
@@ -5,3 +5,6 @@ book:
 
 clean:
 	rm -rf book
+
+deploy:
+	(. ./.envrc; $(MAKE) all)