diff --git a/collects/setup/setup-cmdline.ss b/collects/setup/setup-cmdline.ss index a9e8acb2f1..1432e59855 100644 --- a/collects/setup/setup-cmdline.ss +++ b/collects/setup/setup-cmdline.ss @@ -62,7 +62,7 @@ (add-flags '((pause-on-errors #t)))] [("--force") "Treat version mismatches for archives as mere warnings" (add-flags '((force-unpacks #t)))] - [("-a" "--all-users") "Install archives into the PLT collections, not user-specific directory" + [("-a" "--all-users") "Install archives to main (not user-specific) installation" (add-flags '((all-users #t)))] [("--mode") mode "Select a compilation mode" (add-flags `((compile-mode ,mode)))]