#!/bin/sh

#
# Creates a new Makefile by concatenating the parent dir's
# Makefile.defs, the local dir's Makefile.body, and the parent dir's
# Makefile.rules.
#

baseDir=`pwd`

for dir
do
    (
	cd $dir
#	if [ -f Makefile ]
#	then
#	    $fake mv Makefile saved-Makefile.$$  # for now
#	fi
	echo "creating $dir/Makefile"
	$fake cp $baseDir/Makefile.defs Makefile
	$fake cat Makefile.body >> Makefile
	$fake cat $baseDir/Makefile.rules >> Makefile
    )
done