Merge pull request #241 from dicej/javadoc

push javadoc pages to ReadyTalk/readytalk.github.io instead of gh-pages
This commit is contained in:
Joshua Warner 2014-04-24 18:49:32 -06:00
commit 7f320b59b0

View File

@ -8,13 +8,13 @@ if [ "$TRAVIS_PULL_REQUEST" == "false" ]; then
cd build/ cd build/
if test -d gh-pages if test -d gh-pages/avian-web
then then
cd gh-pages cd gh-pages/avian-web
git pull git pull
else else
git clone --quiet --branch=gh-pages https://${GH_TOKEN}@github.com/ReadyTalk/avian gh-pages > /dev/null git clone --quiet https://${GH_TOKEN}@github.com/ReadyTalk/readytalk.github.io gh-pages > /dev/null
cd gh-pages cd gh-pages/avian-web
git config user.email "travis@travis-ci.org" git config user.email "travis@travis-ci.org"
git config user.name "travis-ci" git config user.name "travis-ci"
fi fi
@ -22,10 +22,10 @@ if [ "$TRAVIS_PULL_REQUEST" == "false" ]; then
git rm -rf ./javadoc git rm -rf ./javadoc
cp -Rf ../javadoc ./javadoc cp -Rf ../javadoc ./javadoc
git add -f . git add -f .
git commit -m "Latest javadoc on successful travis build $TRAVIS_BUILD_NUMBER auto-pushed to gh-pages" git commit -m "Latest javadoc on successful Travis build $TRAVIS_BUILD_NUMBER auto-pushed to readytalk.github.io"
if ! git push -fq origin gh-pages &> /dev/null; then if ! git push -fq origin master &> /dev/null; then
echo "Error pushing gh-pages to origin. Bad GH_TOKEN? GitHub down?" echo "Error pushing gh-pages to origin. Bad GH_TOKEN? GitHub down?"
else else
echo "Done magic with auto publishment to gh-pages." echo "Done magic with auto publishment to readytalk.github.io."
fi fi
fi fi