mirror of
https://github.com/corda/corda.git
synced 2025-01-01 02:36:44 +00:00
Fix Travis' automatic javadoc update
The script used the wrong directory to copy the JavaDocs from. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
This commit is contained in:
parent
fbf169bacf
commit
d61f9ec1eb
@ -6,7 +6,7 @@ if [ "$TRAVIS_PULL_REQUEST" == "false" ]; then
|
|||||||
|
|
||||||
echo "Start to publish lastest Javadoc to gh-pages..."
|
echo "Start to publish lastest Javadoc to gh-pages..."
|
||||||
|
|
||||||
cp -R build/docs/javadoc $HOME/javadoc-latest
|
cd build/
|
||||||
|
|
||||||
if test -d gh-pages
|
if test -d gh-pages
|
||||||
then
|
then
|
||||||
@ -20,7 +20,7 @@ if [ "$TRAVIS_PULL_REQUEST" == "false" ]; then
|
|||||||
fi
|
fi
|
||||||
|
|
||||||
git rm -rf ./javadoc
|
git rm -rf ./javadoc
|
||||||
cp -Rf $HOME/javadoc-latest ./javadoc
|
cp -Rf ../javadoc ./javadoc
|
||||||
git add -f .
|
git add -f .
|
||||||
git commit -m "Lastest javadoc on successful travis build $TRAVIS_BUILD_NUMBER auto-pushed to gh-pages"
|
git commit -m "Lastest javadoc on successful travis build $TRAVIS_BUILD_NUMBER auto-pushed to gh-pages"
|
||||||
git push -fq origin gh-pages > /dev/null
|
git push -fq origin gh-pages > /dev/null
|
||||||
|
Loading…
Reference in New Issue
Block a user