run

 
set -e




if [ "$TRAVIS" = "true" ] && [ "$TRAVIS_PULL_REQUEST" = "false" ] && [ "$TRAVIS_BRANCH" = "master" ] ; then
   echo "travis job push to om website"
        cd ..
   	rm -rf OpenMath.github.io.git
	echo clone
	git config --global user.email "dpcarlisle@gmail.com"
	git config --global user.name "Travis CI"
	git config --global push.default simple

	git clone https://$ghauth@github.com/OpenMath/OpenMath.github.io.git
        cd CDs
        ./make-all
	cd ../OpenMath.github.io
	NEW_MSG=`echo "$TRAVIS_COMMIT_MESSAGE" | sed -e 's/#/iss./g' -e 's/[*?]//g'`
        git add --no-all cd/*.{html,ocd,omcd} cdgroups/*.{cdg,html} sts/*.{sts,html}
        git commit -a -m "from travis ci: $NEW_MSG" || echo no changes
	git push
	
else
    echo skipping copying to website
fi