mirror of
https://github.com/corda/corda.git
synced 2025-01-01 02:36:44 +00:00
Use subdirectory in build/ for temporary gh-pages checkout
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
This commit is contained in:
parent
e5caed555f
commit
fbf169bacf
@ -8,12 +8,17 @@ if [ "$TRAVIS_PULL_REQUEST" == "false" ]; then
|
|||||||
|
|
||||||
cp -R build/docs/javadoc $HOME/javadoc-latest
|
cp -R build/docs/javadoc $HOME/javadoc-latest
|
||||||
|
|
||||||
cd $HOME
|
if test -d gh-pages
|
||||||
git config --global user.email "travis@travis-ci.org"
|
then
|
||||||
git config --global user.name "travis-ci"
|
cd gh-pages
|
||||||
git clone --quiet --branch=gh-pages https://${GH_TOKEN}@github.com/ReadyTalk/avian gh-pages > /dev/null
|
git pull
|
||||||
|
else
|
||||||
|
git clone --quiet --branch=gh-pages https://${GH_TOKEN}@github.com/ReadyTalk/avian gh-pages > /dev/null
|
||||||
|
cd gh-pages
|
||||||
|
git config user.email "travis@travis-ci.org"
|
||||||
|
git config user.name "travis-ci"
|
||||||
|
fi
|
||||||
|
|
||||||
cd gh-pages
|
|
||||||
git rm -rf ./javadoc
|
git rm -rf ./javadoc
|
||||||
cp -Rf $HOME/javadoc-latest ./javadoc
|
cp -Rf $HOME/javadoc-latest ./javadoc
|
||||||
git add -f .
|
git add -f .
|
||||||
|
Loading…
Reference in New Issue
Block a user