commit 77f3973d1c64e91ffc14b88b9348f9a5c80871b9
author matt venn <matt@mattvenn.net> Tue May 04 13:31:13 2021 +0200
committer GitHub <noreply@github.com> Tue May 04 13:31:13 2021 +0200
tree 209dc51a48bc66bf11155c087c30c05e4bbe44a0
parent ffaf984e23d2db58c87436fe10659c0a15968986

Update index.rst

docs/source/index.rst

diff --git a/docs/source/index.rst b/docs/source/index.rst
index 4bbbc5d..176b3be 100644
--- a/docs/source/index.rst
+++ b/docs/source/index.rst
@@ -62,8 +62,10 @@
 
 .. code:: bash
 
-    # By default, CARAVEL_ROOT is set to $(pwd)/caravel
+    # If unset, CARAVEL_ROOT will be set to $(pwd)/caravel
     # If you want to install caravel at a different location, run "export CARAVEL_ROOT=<caravel-path>"
+    export CARAVEL_ROOT=$(pwd)/caravel
+
     # Disable submodule installation if needed by, run "export SUBMODULE=0"
     
     git clone https://github.com/efabless/caravel_user_project.git