fix: proxied commands help

leanprover · Dec 22, 2023 · 640358e · 640358e
1 parent 3aff0ca
commit 640358e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/elan-cli/help.rs b/src/elan-cli/help.rs
@@ -113,7 +113,7 @@ pub static RUN_HELP: &'static str = r"DISCUSSION:
 
         $ lake +nightly build
 
-        $ elan run nightly lake build";
+        $ elan run --install nightly lake build";
 
 pub static _DOC_HELP: &'static str = r"DISCUSSION:
     Opens the documentation for the currently active toolchain with