From 753a63871a36f7862e850f6b6c9194cedd5026d5 Mon Sep 17 00:00:00 2001
From: florian <f.spreckelsen@inidscale.com>
Date: Fri, 2 Jun 2023 15:12:11 +0200
Subject: [PATCH] FIX: Use correct javasphinx repo URL

---
 src/test/docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/docker/Dockerfile b/src/test/docker/Dockerfile
index ef230a80..f0ae05e6 100644
--- a/src/test/docker/Dockerfile
+++ b/src/test/docker/Dockerfile
@@ -16,4 +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):
 #
-RUN git clone git@github.com:simgrid/javasphinx.git && cd javasphinx && git checkout 659209069603a && pip3 install .
+RUN git clone https://github.com/simgrid/javasphinx.git && cd javasphinx && git checkout 659209069603a && pip3 install .
-- 
GitLab