From cc2167334e27c5b7fefdef8624b51582fd25afe4 Mon Sep 17 00:00:00 2001
From: Carl Worth <cworth@cworth.org>
Date: Mon, 25 May 2020 16:55:52 -0700
Subject: [PATCH] Provide any downloaded deps/*.js files to git clone during
 deployment

This is simply so that the deploy process doesn't need to download
anything that we might already have downloaded. We do explicitly call
"make deps" still to force verification of the checksums of the .js
files (even though we didn't just download them). This ensures that
these resource (which aren't otherwise tracked in git) haven't been
modified.
---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index 4ef4b4d..cf1e1d7 100644
--- a/Makefile
+++ b/Makefile
@@ -82,6 +82,8 @@ deps/%.js:
 deploy:
 	rm -rf .deploy-source
 	git clone . .deploy-source
+	cp deps/*.js .deploy-source/deps
+	make -C .deploy-source deps
 	make -C .deploy-source LMNO_BUILD=production
 	rm -rf .deploy-source/.git
 	(cd .deploy-source; rsync -avz \
-- 
2.43.0