From 9ac720b22930e6c4df8b7095abfd5faf616aabf5 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Fri, 30 May 1997 22:43:50 +0000
Subject: [PATCH] *** empty log message ***

original commit: aca96bf9455ba8870e51e72ffcc71ab3ac090e37
---
 man/man1/mred.1 | 19 ++++++++-----------
 1 file changed, 8 insertions(+), 11 deletions(-)

diff --git a/man/man1/mred.1 b/man/man1/mred.1
index f33dabe2..6d4035e1 100644
--- a/man/man1/mred.1
+++ b/man/man1/mred.1
@@ -118,8 +118,7 @@ search path:
 * the search path defined by the MREDSYS system evironment 
 variable
 .IP
-* In PLTHOME/mred/system where PLTHOME is replaced with the value of the
-PLTHOME environment variable.
+* "$PLTHOME/mred/system"
 .IP
 * "/usr/local/lib/plt/mred/system" 
 .IP
@@ -130,19 +129,17 @@ PLTHOME environment variable.
 * "/usr/lib/mred/system"
 .PP
 
-The standard system loads in the core or the mzlib library,
-using the following search path:
+The standard system loads the core or the mzlib library,
+using the following search path, setting the
+require-library-collections-path to one of (in order of preference):
 .IP
-* "../mzlib"
+* "$PLTHOME/mzscheme/collects/standard" (if PLTHOME is not defined,
+/usr/local/lib/ is used as it's value).
 .IP
-* "../mzscheme/mzlib"
+* "../mzscheme/collects/"
 .IP
-* "../../mzscheme/mzlib"
+* "../../mzscheme/collects/standard"
 .IP
-* "PLTHOME/mzscheme/mzlib", where "PLTHOME" is replaced
-with the value of the PLTHOME environment variable. 
-If the environment variable is undefined, 
-"/usr/local/lib/plt/" is used
 .PP
 
 .I MrEd