if [ "$MARK3_HOME" != "" ]; then
	echo "mark3 envorinment already set up"
else
	home_possibly_relative=`dirname ${BASH_SOURCE:-$0}`
	export MARK3_HOME="`cd $home_possibly_relative && pwd`"
	export ANT_HOME=$MARK3_HOME/core/ant
	export PATH=$MARK3_HOME/bin:$ANT_HOME/bin:$PATH
	echo "Done"
fi