diff --git a/README_SETUP.md b/README_SETUP.md index d50c3619cf8c44764ccc40efa48633db702b6c89..5cbd85ab73bc200fe8534508be1f4538ac1dad88 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