Gabriele Contini
2020-03-29 1fe5e3c9f87f28ffbb7a7ecb91a36e68755380a1
.travis.yml
@@ -206,10 +206,13 @@
             - libboost-thread-dev
             - libboost-date-time-dev
             - python3-pip
             - python3-setuptools
             - doxygen
             - graphviz
     script:
        - pip3 install sphinx sphinx_rtd_theme breathe sphinx-markdown-tables recommonmark sphinx-rtd-theme
     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