File tree Expand file tree Collapse file tree 2 files changed +23
-0
lines changed Expand file tree Collapse file tree 2 files changed +23
-0
lines changed Original file line number Diff line number Diff line change 80
80
if : repo = "oracle/opengrok" AND tag IS present
81
81
script : dev/post-deploy.sh
82
82
install : true
83
+ - stage : javadoc
84
+ name : Upload javadocs to Github pages
85
+ script : dev/javadoc.sh
86
+ install : true
Original file line number Diff line number Diff line change
1
+ #! /bin/bash
2
+
3
+ set -e
4
+
5
+ mvn -DskipTests=true site
6
+
7
+ git config --global user.email
" [email protected] "
8
+ git config --global user.name " travis-ci"
9
+ git clone --quiet --branch=gh-pages \
10
+ https://${GH_PAGES_TOKEN} @github.com/opengrok/opengrok gh-pages
11
+
12
+ cd gh-pages
13
+ if [[ -d ./javadoc ]]; then
14
+ git rm -rf ./javadoc
15
+ fi
16
+ cp -Rf ${TRAVIS_BUILD_DIR} /target/site/apidocs ./javadoc
17
+ git add -f ./javadoc
18
+ git commit -m " Lastest javadoc auto-pushed to gh-pages"
19
+ git push -fq origin gh-pages
You can’t perform that action at this time.
0 commit comments