diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2017-12-22 22:12:27 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2017-12-22 22:12:27 +0000 |
commit | c8b276a1fbf2669c1d77620c9d6aff0331ebed75 (patch) | |
tree | d075a9bb2d4fd1c566354dc81c3cb5de2941218c /scripts | |
parent | fb8197839c0bebc20fd68ee3f280da934c49c473 (diff) | |
download | YAGE-c8b276a1fbf2669c1d77620c9d6aff0331ebed75.tar.gz YAGE-c8b276a1fbf2669c1d77620c9d6aff0331ebed75.zip |
Including doxygen in cmake
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/update_docs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/scripts/update_docs b/scripts/update_docs index cf117f73..be1eaf1d 100755 --- a/scripts/update_docs +++ b/scripts/update_docs @@ -1,14 +1,13 @@ #!/usr/bin/env bash if [[ "$TRAVIS_BRANCH" == "master" ]]; then - doxygen ./docs/Doxyfile - if [ -d "$TRAVIS_BUILD_DIR/html" ]; then + if [ -d "$TRAVIS_BUILD_DIR/build/doc_doxygen/html" ]; then git clone -b gh-pages "https://$GH_TOKEN@github.com/ymherklotz/YAGE.git" YAGE_gh-pages cd YAGE_gh-pages git config user.name "TravisBot" git config user.email "" rm -rf * - cp -r ../html/* . + cp -r ../build/doc_doxygen/html/* . git add -A . git commit -m "Rebuilding documentation" git push -q origin gh-pages |