Deploy documentation to gh-pages branch (#74)

Gabriele Contini

2020-02-01 025c09a83b575871c4efbac3ecf080c472951bdd

 .travis.yml

@@ -1,7 +1,12 @@
language: cpp
services: docker

matrix:
stages:
   - name: test
   - name: documentation
     if: branch = develop 

jobs:
   include:
   - os: linux
     dist: bionic
@@ -180,7 +185,38 @@
     script: 
         - travis_wait 20 cmake --build . --target install --config Release
         - ctest -C Release

   - os: linux
     dist: bionic
     stage: documentation
     name: "Deploy documentation"
     addons:
         apt:
           packages:
             - cmake
             - libssl-dev
             - zlib1g-dev
             - libboost-dev
             - libboost-test-dev
             - libboost-filesystem-dev
             - libboost-iostreams-dev
             - libboost-program-options-dev
             - libboost-system-dev
             - libboost-thread-dev
             - libboost-date-time-dev
             - doxygen
             - graphviz
     script: 
        - make docs
     deploy:
        provider: pages
        skip_cleanup: true
        github_token: $GITHUB_TOKEN
        keep_history: false
        verbose: true
        target_branch: "gh-pages"
        local_dir: "build/html"
        on:
            branch: develop
env:
    - CTEST_OUTPUT_ON_FAILURE=1      
before_script: