# $Id: Makefile,v 1.1.1.1 2000/08/12 21:54:34 gshapiro Exp $ SHELL= /bin/sh BUILD= ./Build OPTIONS= $(CONFIG) $(FLAGS) all: FRC $(SHELL) $(BUILD) $(OPTIONS) $@ clean: FRC $(SHELL) $(BUILD) $(OPTIONS) $@ install: FRC $(SHELL) $(BUILD) $(OPTIONS) $@ fresh: FRC $(SHELL) $(BUILD) $(OPTIONS) -c FRC: