From e6212526861d7fd0aa786d1132942978d1d8a27d Mon Sep 17 00:00:00 2001 From: Daniel Hornung <d.hornung@indiscale.com> Date: Fri, 18 Dec 2020 17:00:17 +0100 Subject: [PATCH] DOC: Fixed formatting in README_SETUP.md --- README_SETUP.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README_SETUP.md b/README_SETUP.md index d50c3619..5cbd85ab 100644 --- a/README_SETUP.md +++ b/README_SETUP.md @@ -200,7 +200,7 @@ Stand-alone documentation is built using Sphinx: `make doc` - Alternative, if javasphinx fails because python3-sphinx is too recent: (`l_` not found): - ```sh +```sh git clone git@github.com:simgrid/javasphinx.git cd javasphinx git checkout 659209069603a -- GitLab