.PHONY:		all upload

all:		../index.html

#
# remove once a better place for index.html has been found
#

upload:		../index.html
		rsync -v --progress $< \
		  werner@host:/home/httpd/almesberger/misc/ben/scan/

../index.html:	style.sh index.sh
		. ./index.sh >$@ || { rm -f $@; exit 1; }