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