Update install-guide.md

tedinski · Apr 22, 2022 · 30f8290 · 30f8290
1 parent 5e211b0
commit 30f8290
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/src/install-guide.md b/docs/src/install-guide.md
@@ -42,10 +42,10 @@ source $HOME/.cargo/env
 
 ## Building and testing Kani
 
-Build kani-compiler executable:
+Build Kani's packages:
 
 ```
-( cd src/kani-compiler && cargo build )
+cargo build
 ```
 
 Then, optionally, run the regression tests: