docker[build-deps]: we now need javasphinx

[simgrid.git] / tools / docker / Dockerfile.build-deps

diff --git a/tools/docker/Dockerfile.build-deps b/tools/docker/Dockerfile.build-deps
index f3ebc9e1215e33bf9a2d8461c763fe53345c3480..3a296f3311894f69e0c07d8693846ba3e0f11d25 100644 (file)
--- 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 \
        && \
        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
                   
\ No newline at end of file