blob: cf6bed2d3c035b053511eac751472f14c7c1ec32 [file] [log] [blame]
Joakim Bech8e5c5b32018-10-25 08:18:32 +02001sudo: false
2
3language: python
4
5python:
6 - "2.7"
7 - "3.6"
8
9before_install:
10 - sudo apt-get update
Jens Wiklander06b97482021-05-10 15:30:32 +020011 - sudo apt-get install -y graphviz plantuml
Joakim Bech8e5c5b32018-10-25 08:18:32 +020012
Jens Wiklander06b97482021-05-10 15:30:32 +020013# TODO make this "pip install sphinx sphinx_rtd_theme sphinxcontrib-plantuml"
14# once the fix in https://github.com/sphinx-contrib/plantuml/issues/56 has
15# been included in a release.
16install:
17 - pip install sphinx==1.8.5 sphinx_rtd_theme sphinxcontrib-plantuml Pillow
Joakim Bech8e5c5b32018-10-25 08:18:32 +020018
19notifications:
20 - email: false
21
22script:
Joakim Bech6af72622019-06-05 10:53:38 +020023 - SPHINXOPTS="-W --keep-going" make html