suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

minor handin-server doc fixes

Browse Source 
svn: r16290
This commit is contained in:
Matthew Flatt 2009-10-09 15:23:06 +00:00
parent 5c37d997c0
commit 31f4d5c9af
5 changed files with 8 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/handin-client/info.ss
View File

@ -1,7 +1,7 @@
#lang setup/infotab #lang setup/infotab
;; Modify these definitions to enable & customize the tool. ;; 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. ;; Also replace the "server-cert.pem" files.
;; Your course name (used for menus, button label, collection name etc) ;; Your course name (used for menus, button label, collection name etc)

2
collects/handin-server/scribblings/checker.scrbl
View File

@ -5,7 +5,7 @@
@t{(Effective only when saving a textual version of @t{(Effective only when saving a textual version of
the submission files: when @scheme[:create-text?] is on.)}) the submission files: when @scheme[:create-text?] is on.)})
@title{checker} @title{Checker}
@defmodulelang[handin-server/checker]{ @defmodulelang[handin-server/checker]{

9
collects/handin-server/scribblings/client-customization.scrbl
View File

@ -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 original client directory was (see @secref{wheres-the-collection}) or
by specifying a value for the @envvar{PLTCOLLECTS} environment by specifying a value for the @envvar{PLTCOLLECTS} environment
variable. For example, if your customized collection directory is variable. For example, if your customized collection directory is
called @filepath{cs101} and it is located at called @filepath{cs1} and it is located at
@filepath{/home/joe/intro/cs101}, then you can run @filepath{/home/joe/intro/cs1}, then you can run
@commandline{PLTCOLLECTS=/home/joe/intro: \ @commandline{PLTCOLLECTS=/home/joe/intro: mzc --collection-plt cs1.plt cs1}
mzc --collection-plt cs101.plt cs101} (Don't forget the colon at the end of the @envvar{PLTCOLLECTS} value;
(Don't forget the colon at the end of the @envvar{PLTCOLLECTS} value:
it is important!) it is important!)
Note that if you create an updated copy of the client package (that Note that if you create an updated copy of the client package (that

2
collects/handin-server/scribblings/utils.scrbl
View File

@ -1,7 +1,7 @@
#lang scribble/doc #lang scribble/doc
@(require "common.ss") @(require "common.ss")
@title{Utils} @title{Utilities}
@defmodule[handin-server/utils] @defmodule[handin-server/utils]

2
collects/handin-server/scribblings/wheres-the-collection.scrbl
View File

@ -1,7 +1,7 @@
#lang scribble/doc #lang scribble/doc
@(require "common.ss") @(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} If you obtained the server and client by installing a @filepath{.plt}
file, then the @filepath{handin-server} and @filepath{handin-client} file, then the @filepath{handin-server} and @filepath{handin-client}