From db9c864d0f81adf2eb44a04bdb49596c8ff6e56b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 18 Sep 2008 13:38:52 +0000 Subject: [PATCH] svn: r11798 --- collects/handin-server/scribblings/handin-server.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/handin-server/scribblings/handin-server.scrbl b/collects/handin-server/scribblings/handin-server.scrbl index 864338bbf1..81b3f55a80 100644 --- a/collects/handin-server/scribblings/handin-server.scrbl +++ b/collects/handin-server/scribblings/handin-server.scrbl @@ -88,7 +88,7 @@ server and each user's password. @item{Create a file @filepath{config.ss} with the following content: @schemeblock[((active-dirs ("test")))]} -@item{In your new directory, run @commandline{mred -il handin-server}} +@item{In your new directory, run @commandline{mred -l handin-server}} @item{In the @filepath{handin-client} collection, edit @filepath{info.ss} and uncomment the lines that define