From 5072b8d0c4f2431d5543209484f258169b1e1cd6 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 19 Sep 2008 01:08:35 +0000 Subject: [PATCH] clarification svn: r11816 --- collects/handin-server/scribblings/client-customization.scrbl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/handin-server/scribblings/client-customization.scrbl b/collects/handin-server/scribblings/client-customization.scrbl index 4caf335ca0..20f6a22e28 100644 --- a/collects/handin-server/scribblings/client-customization.scrbl +++ b/collects/handin-server/scribblings/client-customization.scrbl @@ -21,7 +21,8 @@ uniquely. For example, @filepath{uu-cpsc2010} is a good name for CPSC button and menu names.} @item{Uncomment the definitions of @scheme[tools], - @scheme[tool-names], and @scheme[tool-icons].} + @scheme[tool-names], and @scheme[tool-icons]. (But leave the + latter field's definition to @filepath{icon.png}.)} @item{For @scheme[server:port], uncomment the line, and use the hostname and port where the server will be running to accept