diff options
| author | Joseph Herlant <herlantj@gmail.com> | 2017-10-29 15:04:42 -0700 |
|---|---|---|
| committer | Joseph Herlant <herlantj@gmail.com> | 2017-10-29 16:00:39 -0700 |
| commit | e020c20e58b3651339468281c3e5a758283e8a72 (patch) | |
| tree | d086a21f5c7c57f4331e927843b05abaf0fa8be2 | |
| parent | 0234b4b81f91ab48629832e28b08fd175bb782eb (diff) | |
| download | navit-e020c20e58b3651339468281c3e5a758283e8a72.tar.gz | |
Update the doxygen build to push to the gh-pages branch
| -rw-r--r-- | .circleci/config.yml | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index cb2a67fe7..0e245b594 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -26,10 +26,16 @@ jobs: - run: name: Update results to Github command: | - git clone git@github.com:navit-gps/doxygen.git - rsync -vrtza --delete /root/project/doc doxygen/ - git add doxygen/ - git commit -m "Documentation update" + CURRENTCOMMIT=`git rev-parse HEAD` + git clone -b gh-pages git@github.com:navit-gps/navit.git /root/navit-doc + cd /root/navit-doc + git config --global push.default simple + git config user.name "Circle CI" + git config user.email "circleci@navit-project.org" + rsync -vrtza --delete /root/project/doc/html /root/navit-doc + echo "" > .nojekyll + git add . + git commit -am "Update doc for commit ${CURRENTCOMMIT}" git push - store_artifacts: path: /root/project/doc |