added line about uncommenting certain fields

svn: r7323
2007-09-12 16:51:31 +00:00 · 2007-09-12 16:51:31 +00:00 · 297aa4d4b0
commit 297aa4d4b0
parent cfd1bbf612
1 changed files with 3 additions and 0 deletions
--- a/collects/handin-server/doc.txt
+++ b/collects/handin-server/doc.txt
@ -108,6 +108,9 @@ Client Customization:
         of the name, since "Handin" is always added for button and
         menu names.

+       * Uncomment the definitions of 'tools', 'tool-names', and
+         'tool-icons'.
+
       * For `server:port', uncomment the line, and use the hostname
         and port where the server will be running to accept handin
         submissions.