gcontini
2020-03-22 7efd6062824793ec8b9c7cb56a215352ea682bbe
.travis.yml
@@ -205,10 +205,15 @@
             - libboost-system-dev
             - libboost-thread-dev
             - libboost-date-time-dev
             - python3-pip
             - python3-setuptools
             - doxygen
             - graphviz
     script:
        - make docs
     before_script:
        - pip3 install setuptools sphinx sphinx_rtd_theme breathe sphinx-markdown-tables recommonmark sphinx-rtd-theme sphinx-sitemap sphinxemoji
        - cd build && cmake -DCMAKE_INSTALL_PREFIX=../../install ..
     script:
        - make documentation
     deploy:
        provider: pages
        skip_cleanup: true
@@ -216,7 +221,7 @@
        keep_history: false
        verbose: true
        target_branch: "gh-pages"
        local_dir: "build/html"
        local_dir: "build/docs/sphinx"
        on:
            branch: develop
env: