Install sphinx and sphinx_rtd_theme
Allows us to build documentation with readthedocs (and therefore pass `tests/00-documentation`)
@@ -10,7 +10,7 @@ sudo apt install -y --no-install-recommends \
python-magic linux-image-extra-virtual
sudo apt-get clean
-sudo python2 -m pip install intelhex
+sudo python2 -m pip install intelhex sphinx_rtd_theme sphinx
# Install ARM toolchain
wget https://launchpad.net/gcc-arm-embedded/5.0/5-2015-q4-major/+download/gcc-arm-none-eabi-5_2-2015q4-20151219-linux.tar.bz2
