From 0103f9a4d4395ddfcc640b8c89e464d1c494563c Mon Sep 17 00:00:00 2001 From: John Clements Date: Tue, 19 Feb 2008 18:12:15 +0000 Subject: [PATCH] changed square bracket to curly to allow compilation svn: r8728 --- collects/handin-server/scribblings/handin-server.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/handin-server/scribblings/handin-server.scrbl b/collects/handin-server/scribblings/handin-server.scrbl index 803c4c4291..579ee4c1ee 100644 --- a/collects/handin-server/scribblings/handin-server.scrbl +++ b/collects/handin-server/scribblings/handin-server.scrbl @@ -27,11 +27,11 @@ @section{Handin-Server and Client} -The @filepath[handin-server] directory contains a server to be run by a +The @filepath{handin-server} directory contains a server to be run by a course instructor for accepting homework assignments and reporting on submitted assignments. -The @filepath[handin-client] directory contains a client to be +The @filepath{handin-client} directory contains a client to be customized then re-distributed to students in the course. The customized client will embed a particular hostname and port where the server is running, as well as a server certificate.