Carl Worth [Sat, 16 May 2020 20:05:43 +0000 (13:05 -0700)]
Add a simple Makefile with a "make deploy" target
This doesn't do any deleting of pre-existing files, (to avoid deleting
any web content from sub directories that aren't being maintained in
this repository). We'll need to eventually sort out a better solution
for that.