From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 1 Oct 2018 06:31:56 +0000 (+0200)
Subject: docker[build-deps]: we now need javasphinx
X-Git-Tag: v3_21~20
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/52f4fc6ce24a810af448e277d28d3a86676905cf?hp=dc27f1fad419d56167e1755e9af4b183468a5139

docker[build-deps]: we now need javasphinx
---

diff --git a/tools/docker/Dockerfile.build-deps b/tools/docker/Dockerfile.build-deps
index f3ebc9e121..3a296f3311 100644
--- a/tools/docker/Dockerfile.build-deps
+++ b/tools/docker/Dockerfile.build-deps
@@ -14,5 +14,5 @@ RUN apt update && \
        chrpath \
        libdw-dev libevent-dev libunwind8-dev \
        && \
-    pip3 install breathe exhale sphinx>=1.8.0b1 sphinx_rtd_theme
+    pip3 install breathe javasphinx sphinx>=1.8.0b1 sphinx_rtd_theme
 		   
\ No newline at end of file