Docs: Mention custom path for setup in install guide (rust-lang#2097)

Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
celinval · Jan 10, 2023 · 8f348ca · 8f348ca
1 parent 9de57fd
commit 8f348ca
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/src/install-guide.md b/docs/src/install-guide.md
@@ -28,7 +28,8 @@ cargo kani setup
 ```
 
 This will build and place in `~/.cargo/bin` (in a typical environment) the `kani` and `cargo-kani` binaries.
-The second step (`cargo kani setup`) will download the Kani compiler and other necessary dependencies (and place them under `~/.kani/`).
+The second step (`cargo kani setup`) will download the Kani compiler and other necessary dependencies, and place them under `~/.kani/` by default.
+A custom path can be specified using the `KANI_HOME` environment variable.
 
 ## Installing an older version