From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 23 Aug 2018 07:54:17 +0000 (+0200)
Subject: docker build-deps: also install the sphinx dependencies
X-Git-Tag: v3_21~211
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/46408672d149a1b58b7201f825590ddd4a5d7586

docker build-deps: also install the sphinx dependencies
---

diff --git a/tools/docker/Dockerfile.build-deps b/tools/docker/Dockerfile.build-deps
index 8a0415da0a..f3ebc9e121 100644
--- a/tools/docker/Dockerfile.build-deps
+++ b/tools/docker/Dockerfile.build-deps
@@ -12,5 +12,7 @@ RUN apt update && \
        python3-pip \
        doxygen fig2dev \
        chrpath \
-       libdw-dev libevent-dev libunwind8-dev
+       libdw-dev libevent-dev libunwind8-dev \
+       && \
+    pip3 install breathe exhale sphinx>=1.8.0b1 sphinx_rtd_theme
 		   
\ No newline at end of file