From 31f4d5c9af6b91e92ec6ca7c9a5e53ad63a3c43e Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Fri, 9 Oct 2009 15:23:06 +0000
Subject: [PATCH] minor handin-server doc fixes

svn: r16290
---
 collects/handin-client/info.ss                           | 2 +-
 collects/handin-server/scribblings/checker.scrbl         | 2 +-
 .../handin-server/scribblings/client-customization.scrbl | 9 ++++-----
 collects/handin-server/scribblings/utils.scrbl           | 2 +-
 .../scribblings/wheres-the-collection.scrbl              | 2 +-
 5 files changed, 8 insertions(+), 9 deletions(-)

diff --git a/collects/handin-client/info.ss b/collects/handin-client/info.ss
index 5fc3ca8f09..c8aae4ca13 100644
--- a/collects/handin-client/info.ss
+++ b/collects/handin-client/info.ss
@@ -1,7 +1,7 @@
 #lang setup/infotab
 
 ;; Modify these definitions to enable & customize the tool.
-;; (Detailed instructions are in the handin-server collection's doc.txt)
+;; (Detailed instructions are in the handin-server collection's docs.)
 ;; Also replace the "server-cert.pem" files.
 
 ;; Your course name (used for menus, button label, collection name etc)
diff --git a/collects/handin-server/scribblings/checker.scrbl b/collects/handin-server/scribblings/checker.scrbl
index 24b086725d..54bc9d8b86 100644
--- a/collects/handin-server/scribblings/checker.scrbl
+++ b/collects/handin-server/scribblings/checker.scrbl
@@ -5,7 +5,7 @@
    @t{(Effective only when saving a textual version of
       the submission files: when @scheme[:create-text?] is on.)})
 
-@title{checker}
+@title{Checker}
 
 @defmodulelang[handin-server/checker]{
 
diff --git a/collects/handin-server/scribblings/client-customization.scrbl b/collects/handin-server/scribblings/client-customization.scrbl
index 14c050be9a..1e683f1432 100644
--- a/collects/handin-server/scribblings/client-customization.scrbl
+++ b/collects/handin-server/scribblings/client-customization.scrbl
@@ -57,11 +57,10 @@ uniquely.  For example, @filepath{uu-cpsc2010} is a good name for CPSC
   original client directory was (see @secref{wheres-the-collection}) or
   by specifying a value for the @envvar{PLTCOLLECTS} environment
   variable.  For example, if your customized collection directory is
-  called @filepath{cs101} and it is located at
-  @filepath{/home/joe/intro/cs101}, then you can run
-  @commandline{PLTCOLLECTS=/home/joe/intro: \
-               mzc --collection-plt cs101.plt cs101}
-  (Don't forget the colon at the end of the @envvar{PLTCOLLECTS} value:
+  called @filepath{cs1} and it is located at
+  @filepath{/home/joe/intro/cs1}, then you can run
+  @commandline{PLTCOLLECTS=/home/joe/intro: mzc --collection-plt cs1.plt cs1}
+  (Don't forget the colon at the end of the @envvar{PLTCOLLECTS} value;
   it is important!)
 
   Note that if you create an updated copy of the client package (that
diff --git a/collects/handin-server/scribblings/utils.scrbl b/collects/handin-server/scribblings/utils.scrbl
index 5913de293b..7524ba3525 100644
--- a/collects/handin-server/scribblings/utils.scrbl
+++ b/collects/handin-server/scribblings/utils.scrbl
@@ -1,7 +1,7 @@
 #lang scribble/doc
 @(require "common.ss")
 
-@title{Utils}
+@title{Utilities}
 
 @defmodule[handin-server/utils]
 
diff --git a/collects/handin-server/scribblings/wheres-the-collection.scrbl b/collects/handin-server/scribblings/wheres-the-collection.scrbl
index 918433f9d0..6d3eeae842 100644
--- a/collects/handin-server/scribblings/wheres-the-collection.scrbl
+++ b/collects/handin-server/scribblings/wheres-the-collection.scrbl
@@ -1,7 +1,7 @@
 #lang scribble/doc
 @(require "common.ss")
 
-@title[#:tag "wheres-the-collection"]{Where is the collection?}
+@title[#:tag "wheres-the-collection"]{Where is the Collection?}
 
 If you obtained the server and client by installing a @filepath{.plt}
 file, then the @filepath{handin-server} and @filepath{handin-client}