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.

diff --git a/Makefile b/Makefile
index 4ef4b4d72078cdd7e01903a37484a4317a48d168..cf1e1d7008e05a1d7ee18e81103c11b4e3a7b722 100644 (file)
--- 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 \