don't install system javasphinx on our docker build-deps

I want to test whether our embeeded version works

diff --git a/tools/docker/Dockerfile.build-deps b/tools/docker/Dockerfile.build-deps
index 7552274..b453fd9 100644 (file)
--- a/tools/docker/Dockerfile.build-deps
+++ b/tools/docker/Dockerfile.build-deps
@@ -15,5 +15,5 @@ RUN apt update && \
        libdw-dev libevent-dev libunwind8-dev \
        linkchecker \
        && \
-    pip3 install breathe javasphinx 'sphinx>=1.8.0b1' sphinx_rtd_theme
+    pip3 install breathe 'sphinx>=1.8.0b1' sphinx_rtd_theme
                   
\ No newline at end of file