use mred-text in the instructions for starting the server

svn: r11847
This commit is contained in:
Eli Barzilay 2008-09-24 04:01:59 +00:00
parent 5b70b732a5
commit 956e290b03

View File

@ -29,7 +29,7 @@
@schemeblock[((active-dirs ("test"))
(https-port-number 9780))]}
@item{In your new directory, run @commandline{mred -l handin-server}}
@item{In your new directory, run @commandline{mred-text -l handin-server}}
@item{In the @filepath{handin-client} collection, edit
@filepath{info.ss} and uncomment the lines that define