gcontini
2020-03-14 35087e2c3f200639cf32c96e81cdbb08a5acb8eb
.travis.yml
@@ -205,10 +205,12 @@
             - libboost-system-dev
             - libboost-thread-dev
             - libboost-date-time-dev
             - python3-pip
             - doxygen
             - graphviz
     script: 
        - make docs
        - pip3 install sphinx sphinx_rtd_theme breathe sphinx-markdown-tables recommonmark sphinx-rtd-theme
        - make documentation
     deploy:
        provider: pages
        skip_cleanup: true
@@ -216,7 +218,7 @@
        keep_history: false
        verbose: true
        target_branch: "gh-pages"
        local_dir: "build/html"
        local_dir: "build/docs/sphinx"
        on:
            branch: develop
env: