diff --git a/book/getting-started/install.md b/book/getting-started/install.md index 17abb98be..8c69cd1c7 100644 --- 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 -``` \ No newline at end of file +```