diff options
author | jkoan <jkoan@users.noreply.github.com> | 2018-02-12 21:20:38 +0100 |
---|---|---|
committer | Pierre GRANDIN <pgrandin@users.noreply.github.com> | 2018-02-12 12:20:38 -0800 |
commit | dbc50091a289b6f99aae0a9f23311fba22f85685 (patch) | |
tree | b39c57992c5f2f3cecc17798b0465e732b2a892c /.circleci | |
parent | c335e078fcc06c302a7d95de38787c1978db2c55 (diff) | |
download | navit-dbc50091a289b6f99aae0a9f23311fba22f85685.tar.gz |
change:build:Move update of doxygen to own script (#404)
* Create update script
* Update config.yml
* Add correct syntax
Diffstat (limited to '.circleci')
-rw-r--r-- | .circleci/config.yml | 16 |
1 files changed, 1 insertions, 15 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 3d79961be..f4c9956d8 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -28,21 +28,7 @@ jobs: command: cd navit && doxygen - run: name: Update results to Github - command: | - mkdir /root/.ssh - chmod 0600 /root/.ssh - echo 'github.com ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAQEAq2A7hRGmdnm9tUDbO9IDSwBK6TbQa+PXYPCPy6rbTrTtw7PHkccKrpp0yVhp5HdEIcKr6pLlVDBfOLX9QUsyCOV0wzfjIJNlGEYsdlLJizHhbn2mUjvSAHQqZETYP81eFzLQNnPHt4EVVUh7VfDESU84KezmD5QlWpXLmvU31/yMf+Se8xhHTvKSCZIFImWwoG6mbUoWf9nzpIoaSjB+weqqUUmpaaasXVal72J+UX2B+2RPW3RcT0eOzQgqlJL3RKrTJvdsjE3JEAvGq3lGHSZXy28G3skua2SmVi/w4yCE6gbODqnTWlg7+wC604ydGXA8VJiS5ap43JXiUFFAaQ==' >> ~/.ssh/known_hosts - 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 --exclude '.git' --delete /root/project/doc/html/ /root/navit-doc/ - echo "" > .nojekyll - echo "doxygen.navit-project.org" > CNAME - git add . - git commit -am "update:doc:Doxygen update for commit ${CIRCLE_SHA1} [ci skip]" || true - git push + command: bash ci/update_doxygen.sh - store_artifacts: path: /root/project/doc build_android_arm: |