planet2: remove obsolete note in docs and help

This commit is contained in:
Matthew Flatt 2012-12-02 07:54:48 -07:00
parent d0ff14b17c
commit 3d38d84cc4
2 changed files with 2 additions and 6 deletions

View File

@ -47,9 +47,7 @@
" search-auto: like 'search-ask' but does not ask for permission to install")] " search-auto: like 'search-ask' but does not ask for permission to install")]
[#:bool force () "Ignores conflicts"] [#:bool force () "Ignores conflicts"]
[#:bool ignore-checksums () "Ignores checksums"] [#:bool ignore-checksums () "Ignores checksums"]
[#:bool link () ("Link a directory package source in place;" [#: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")]
#:args pkg-source #:args pkg-source
(parameterize ([current-install-system-wide? installation] (parameterize ([current-install-system-wide? installation]
[current-install-version-specific? (not shared)] [current-install-version-specific? (not shared)]

View File

@ -219,9 +219,7 @@ sub-sub-commands:
@item{@DFlag{ignore-checksums} --- Ignores errors verifying package checksums (unsafe.)} @item{@DFlag{ignore-checksums} --- Ignores errors verifying package checksums (unsafe.)}
@item{@DFlag{link} --- Implies @exec{--type dir} (and overrides any specified type), @item{@DFlag{link} --- Implies @exec{--type dir} (and overrides any specified type),
and links the existing directory as an installed package. 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.}
] ]
} }