# Usage: 
#	make makefiles [name=value]...
#
# See makedefs for a description of available options.
# Examples:
#
#	make makefiles
#	make makefiles CC="purify cc"
#	make makefiles CC=cc OPT=
#
SHELL	= /bin/sh

default: update

update depend clean tidy depend_update: Makefiles
	$(MAKE) MAKELEVEL= $@

install upgrade:
	@echo Please review the INSTALL instructions first.

makefiles Makefiles:
	$(MAKE) -f Makefile.in MAKELEVEL= Makefiles
