diff --git a/docs/external/src/usage/cargo-miden.md b/docs/external/src/usage/cargo-miden.md
index c8668d481..c4a0a2b82 100644
--- a/docs/external/src/usage/cargo-miden.md
+++ b/docs/external/src/usage/cargo-miden.md
@@ -25,16 +25,11 @@ work.
 
 :::
 
-To install the extension, clone the compiler repo first:
+To install the extension:
 
 ```bash
-git clone https://github.com/0xMiden/compiler
-```
-
-Then, run the following in your shell in the cloned repo folder:
+cargo +nightly-2025-12-10 install cargo-miden --locked
 
-```bash
-cargo install --path tools/cargo-miden --locked
 ```
 
 This will take a minute to compile, but once complete, you can run `cargo help miden` or just