#
#	Makefile to generate the machine dependent makefiles.
#

all:
	echo "You must specify a Makefile to make"

Makefile.200: Makefile hp200
	rm -f Makefile.200
	./generate hp200 > Makefile.200

Makefile.500: Makefile hp500
	rm -f Makefile.500
	./generate hp500 > Makefile.500

Makefile.800: Makefile hp800
	rm -f Makefile.800
	./generate hp800 > Makefile.800

Makefile.vax: Makefile vax
	rm -f Makefile.vax
	./generate vax > Makefile.vax

Makefile.sun: Makefile sun
	rm -f Makefile.sun
	./generate sun > Makefile.sun

Makefile.dst: Makefile dst
	rm -f Makefile.dst
	./generate dst > Makefile.dst

Makefile.vms: Makefile vms
	rm -f Makefile.vms
	./generate vms > Makefile.vms

Makefile.pyr: Makefile pyr
	rm -f Makefile.pyr
	./generate pyr > Makefile.pyr
