1# Usage: 
2#	make makefiles [name=value]...
3#
4# See makedefs for a description of available options.
5# Examples:
6#
7#	make makefiles
8#	make makefiles CC="purify cc"
9#	make makefiles CC=cc OPT=
10#
11SHELL	= /bin/sh
12
13default: update
14
15update depend printfck clean tidy depend_update: Makefiles
16	$(MAKE) MAKELEVEL= $@
17
18install upgrade:
19	@echo Please review the INSTALL instructions first.
20
21makefiles Makefiles:
22	$(MAKE) -f Makefile.in MAKELEVEL= Makefiles
23