diff options
author | Pierre GRANDIN <pgrandin@users.noreply.github.com> | 2017-11-03 11:53:59 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-03 11:53:59 -0700 |
commit | c96a84eba71b08957b93f3ac2a718a6746e852e7 (patch) | |
tree | 9b32b4cd762bf4b7cb91851d1007fd4c1100de1d /.circleci | |
parent | 6ca8b5763ac672c9c4fc8bc54647a773c39d3648 (diff) | |
download | navit-c96a84eba71b08957b93f3ac2a718a6746e852e7.tar.gz |
fix:doc:ensure that the custom domain is set for doxygen (#361)
Diffstat (limited to '.circleci')
-rw-r--r-- | .circleci/config.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 7535a0076..19cb6286d 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -36,6 +36,7 @@ jobs: 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 |