push-update-Dockerfile

## push-update-Dockerfile
## Used exclusively with the push-update.sh script, this Dockerfile builds and pushes
##   an image update directly from the host's /public directory.
#
FROM nginx:alpine
COPY ./public /usr/share/nginx/html
LABEL authors="Mark A. McFate <mcfatem@grinnell.edu>"