1# Usage: 
2#	make makefiles [CC=compiler] [OPT=compiler-flags] [DEBUG=debug-flags]
3#
4# The defaults are: CC=gcc, OPT=-O, and DEBUG=-g. Examples:
5#
6#	make makefiles
7#	make makefiles CC="purify cc"
8#	make makefiles CC=cc OPT=
9#
10SHELL	= /bin/sh
11
12default: update
13
14update depend printfck clean tidy depend_update: Makefiles
15	$(MAKE) MAKELEVEL= $@
16
17install upgrade:
18	@echo Please review the INSTALL instructions first.
19
20makefiles Makefiles:
21	$(MAKE) -f Makefile.in MAKELEVEL= Makefiles
22