Provide any downloaded deps/*.js files to git clone during deployment
authorCarl Worth <cworth@cworth.org>
Mon, 25 May 2020 23:55:52 +0000 (16:55 -0700)
committerCarl Worth <cworth@cworth.org>
Tue, 26 May 2020 03:53:38 +0000 (20:53 -0700)
commitcc2167334e27c5b7fefdef8624b51582fd25afe4
tree326eab8a5945f5d6f2c19f054b08be6396e8b46a
parent50f66d5f3a3a513362ef40f11b17992522b2fffd
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