fix: wrong workspace building error (#258)

succinctlabs · Feb 16, 2024 · a200b1f · a200b1f
1 parent e042188
commit a200b1f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/book/getting-started/install.md b/book/getting-started/install.md
@@ -43,6 +43,7 @@ git clone git@github.com:succinctlabs/sp1.git
 cd sp1
 cd cli
 cargo install --locked --path .
+cd ~
 cargo prove build-toolchain
 ```
 
@@ -61,4 +62,4 @@ You can delete your existing installation of the toolchain with:
 
 ```bash
 rustup toolchain remove succinct
-```
+```