From b8d1738b96afa22539eabcecebc6c3bc45af75d7 Mon Sep 17 00:00:00 2001 From: Daniel Hornung <d.hornung@indiscale.com> Date: Fri, 18 Dec 2020 16:50:51 +0100 Subject: [PATCH] DOC: Fixed formatting in README_SETUP.md --- README_SETUP.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README_SETUP.md b/README_SETUP.md index aed64970..d50c3619 100644 --- a/README_SETUP.md +++ b/README_SETUP.md @@ -198,8 +198,9 @@ Stand-alone documentation is built using Sphinx: `make doc` - sphinx - javasphinx :: `pip3 install --user javasphinx` - Alternative, if javasphinx fails because python3-sphinx is too recent: - (`_l` not found): - ``` + (`l_` not found): + + ```sh git clone git@github.com:simgrid/javasphinx.git cd javasphinx git checkout 659209069603a -- GitLab