From 4600e4639e10c28615c10bfae0cb7ba82dbf1c08 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 18 Sep 2008 13:17:48 +0000 Subject: [PATCH] svn: r11796 --- 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 c68b70f95c..0eaecd9c04 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 -l handin-server}} +@item{In your new directory, run @commandline{mred -il handin-server}} @item{In the @filepath{handin-client} collection, edit @filepath{info.ss} and uncomment the lines that define