Gabriele Contini
2020-03-21 079123b5c4c25a453ba4d3c6ffa1b5f9f39c5dad
.travis.yml
@@ -208,8 +208,10 @@
             - python3-pip
             - doxygen
             - graphviz
     script:
     before_script:
        - pip3 install sphinx sphinx_rtd_theme breathe sphinx-markdown-tables recommonmark sphinx-rtd-theme
        - cd build && cmake -DCMAKE_INSTALL_PREFIX=../../install ..
     script:
        - make documentation
     deploy:
        provider: pages