Update index.rst
diff --git a/docs/source/index.rst b/docs/source/index.rst index 83f8f0a..76f0c39 100644 --- a/docs/source/index.rst +++ b/docs/source/index.rst
@@ -60,7 +60,9 @@ # By default, CARAVEL_ROOT is set to $(pwd)/caravel # If you want to install caravel at a different location, run "export CARAVEL_ROOT=<caravel-path>" # Disable submodule installation if needed by, run "export SUBMODULE=0" - + + clone https://github.com/efabless/caravel_user_project.git + cd caravel_user_project make install To update the installed caravel to the latest, run: @@ -266,4 +268,4 @@ .. |User CI| image:: https://github.com/efabless/caravel_project_example/actions/workflows/user_project_ci.yml/badge.svg :target: https://github.com/efabless/caravel_project_example/actions/workflows/user_project_ci.yml .. |Caravel Build| image:: https://github.com/efabless/caravel_project_example/actions/workflows/caravel_build.yml/badge.svg - :target: https://github.com/efabless/caravel_project_example/actions/workflows/caravel_build.yml \ No newline at end of file + :target: https://github.com/efabless/caravel_project_example/actions/workflows/caravel_build.yml