#  Makefile for updating the Icon website
#
#  To change the website, update it on the Git master,
#  then run "make install" to push changes to the webserver.
#
#  (This was written when the server's Git version was very old.  Could now
#   consider making the server the Git master and using push-to-deploy.)

PATH = /usr/bin
OPTS = -i -F -a --del
USER = gmt
HOST = lectura.cs.arizona.edu
DEST = /cs/www/icon
ARGS = $(OPTS) . $(USER)@$(HOST):$(DEST)

default:  check

check:
	: dry run to check potential changes
	PATH=$(PATH) rsync -n $(ARGS)

install:
	: installing updated files
	PATH=$(PATH) rsync    $(ARGS)