#
# makefile to install the mini prelude
#
RELEASE = 2

VERSION = 2

TOP = $(HOME)/mini

ETCDIR = $(TOP)/etc

MAKEFILE = Makefile

PRELUDE = mini-std.prl

JUNK =	tmp core

help:
	@echo "Possible make targets:"
	@echo "all		Create local running programs."
	@echo "clean		Free disk space."
	@echo "install		Install relevant files."

all: $(PRELUDE)

install: $(PRELUDE)
	cp $(PRELUDE) $(ETCDIR)

clean:
	rm -f $(JUNK)
