diff --git a/collects/planet2/main.rkt b/collects/planet2/main.rkt index ad6d9ce856..2b3f5f008d 100644 --- a/collects/planet2/main.rkt +++ b/collects/planet2/main.rkt @@ -47,9 +47,7 @@ " search-auto: like 'search-ask' but does not ask for permission to install")] [#:bool force () "Ignores conflicts"] [#:bool ignore-checksums () "Ignores checksums"] - [#:bool link () ("Link a directory package source in place;" - "this is a global setting for all installs for this command, which means" - "that it affects dependencies... so make sure the dependencies exist first")] + [#:bool link () ("Link a directory package source in place")] #:args pkg-source (parameterize ([current-install-system-wide? installation] [current-install-version-specific? (not shared)] diff --git a/collects/planet2/scribblings/planet2.scrbl b/collects/planet2/scribblings/planet2.scrbl index 5e3e23eae7..5158ff7efa 100644 --- a/collects/planet2/scribblings/planet2.scrbl +++ b/collects/planet2/scribblings/planet2.scrbl @@ -219,9 +219,7 @@ sub-sub-commands: @item{@DFlag{ignore-checksums} --- Ignores errors verifying package checksums (unsafe.)} @item{@DFlag{link} --- Implies @exec{--type dir} (and overrides any specified type), - and links the existing directory as an installed package. - This option affects all installs for the command, which means it affects dependencies... - so make sure the dependencies exist first.} + and links the existing directory as an installed package.} ] }