# This distfile is run from "rdist.csh" in my home directory on morgan.
# The script figures out all the machines of interest in the department,
# and then runs rdist with this file, and HOSTS defined to be those
# machines.

HOSTS = ( marker )

FILES  = ( /home/stoller/flux/kaffe )

${FILES} -> ${HOSTS}
	install -R -i -y flux/kaffe ;
	except_pat ( /*\\.o\$ /*\\.a\$ /\\.glimpse* /\\.~*
                     /*\\.ps\$ /*\\.dvi\$);

