: Check whether makefile is properly edited for make makefiles

echo " " >&2
echo "Made makefiles 'Mf' in subdirectories." >&2

case $1 in
Mf)	echo "You can now try 'make depend'." >&2
	exit 0;;
MF)	echo "Make would still use the distributed makefiles, however." >&2
	echo "Redefine MF=Mf in ./Makefile before you call 'make depend all'." >&2
	exit 1;;
*)	echo "You did not edit the makefile properly; see ./Problems" >&2
	exit 1;;
esac
