diff --git a/src/test/docker/Dockerfile b/src/test/docker/Dockerfile
index bd5f4cf50b2acaae50f96f45a2a821e6cf4ca7b3..ef230a80e3884d9459185ed4e79f42715107d235 100644
--- a/src/test/docker/Dockerfile
+++ b/src/test/docker/Dockerfile
@@ -16,7 +16,4 @@ RUN pip3 install sphinx javasphinx recommonmark sphinx-rtd-theme sphinxcontrib-p
 # Alternative, if javasphinx fails because python3-sphinx is too recent:
 # (`_l` not found):
 #
-# git clone git@github.com:simgrid/javasphinx.git
-# cd javasphinx
-# git checkout 659209069603a
-# pip3 install .
+RUN git clone git@github.com:simgrid/javasphinx.git && cd javasphinx && git checkout 659209069603a && pip3 install .