From 7cbbe85bc760450c09ffcc76bc5bdee5a55225fb Mon Sep 17 00:00:00 2001
From: florian <f.spreckelsen@inidscale.com>
Date: Fri, 2 Jun 2023 15:09:21 +0200
Subject: [PATCH] FIX: Use fixed javasphinx

---
 src/test/docker/Dockerfile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/test/docker/Dockerfile b/src/test/docker/Dockerfile
index bd5f4cf5..ef230a80 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 .
-- 
GitLab