From f205e32302d669c16b9a7fb23fd26489169ce6d2 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 6 Oct 2008 04:52:21 +0000 Subject: [PATCH] clarify and give an example for PLTCOLLECTS svn: r11949 --- collects/scribblings/reference/collects.scrbl | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/collects/scribblings/reference/collects.scrbl b/collects/scribblings/reference/collects.scrbl index db56dd2d7c..12425b23b1 100644 --- a/collects/scribblings/reference/collects.scrbl +++ b/collects/scribblings/reference/collects.scrbl @@ -87,7 +87,15 @@ Produces a list of paths as follows: defined, it is combined with the default list using @scheme[path-list-string->path-list]. If it is not defined, the default collection path list (as constructed by the first three - bullets above) is used directly.} + bullets above) is used directly. + + Note that under @|AllUnix|, paths are separated by @litchar{:}, and + under Windows by @litchar{;}. Also, + @scheme[path-list-string->path-list] splices the default paths at an + empty path, for example, with many Unix shells you can set + @envvar{PLTCOLLECTS} to @tt{":`pwd`"}, @tt{"`pwd`:"}, or + @tt{"`pwd`"} to specify search the current directory after, before, + or instead of the default paths respectively.} }}