fix docs for install-collection "info.rkt" field

Closes PR 14831
This commit is contained in:
Matthew Flatt 2014-11-09 07:54:14 -07:00
parent 6d9c49485b
commit 012e08cd74

View File

@ -664,7 +664,7 @@ Optional @filepath{info.rkt} fields trigger additional actions by
parent of the Racket installation's @filepath{collects} directory; the
second argument, if accepted, is a path to the collection's own
directory; the third argument, if accepted, is a boolean indicating
whether the collection is installed as user-specific (@racket[#f])
whether the collection is installed as user-specific (@racket[#t])
or installation-wide (@racket[#f]). The procedure should perform collection-specific
installation work, and it should avoid unnecessary work in the case
that it is called multiple times for the same installation.}