~ chicken-core (chicken-5) 7a87c0bd2d9862ee01ef3ba3b443fd5b54875197

commit 7a87c0bd2d9862ee01ef3ba3b443fd5b54875197
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Fri Apr 26 11:52:51 2013 +0200
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Fri Apr 26 11:52:51 2013 +0200

    typo

diff --git a/manual/Extensions b/manual/Extensions
index 5794505d..5e612c09 100644
--- a/manual/Extensions
+++ b/manual/Extensions
@@ -577,7 +577,7 @@ Available options:
 ; {{-keep-going}} : continue installation, even if a dependency fails
 ; {{-x   -keep-installed}} : ignore those extensions given on the command line, that are already installed
 ; {{-reinstall}} : reinstall all currently installed extensions, keeping the current versions, if possible
-; {{-scan DIRECTORY}} : scan local egg source repository or highest available versions
+; {{-scan DIRECTORY}} : scan local egg source repository for highest available versions
 ; {{-override FILENAME}} : override versions for installed eggs with information given in {{FILENAME}}, which can be generated by {{-scan}} or by the {{-list}} option of the {{chicken-status}} program
 ; {{-csi FILENAME}} : when invoking {{csi}}, the CHICKEN interpreter for executing installation scripts, use this program instead.