echo ""
	echo ""
	echo "This port has the following tunables:"
	echo "WITH_TBDIR   (default: ${PREFIX}/lib/crafty/TB)"
	echo ""
	echo "To alter this, press CTRL-C now, and "
	echo "simply set your desired path with one of:"
	echo ""
	echo "<setenv WITH_TBDIR path> (csh) or"
	echo "<export WITH_TBDIR=path> (sh)"
	echo ""
	echo "IF YOU CHANGED THIS WHEN YOU INSTALLED CRAFTY, YOU"
	echo "** MUST ** CHANGE IT HERE!!"