From 36ed8470812121c230854356861dc249961a47f3 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 30 Sep 2009 03:50:58 +0000 Subject: [PATCH] typo in DFlag svn: r16178 --- collects/handin-server/scribblings/updater.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/handin-server/scribblings/updater.scrbl b/collects/handin-server/scribblings/updater.scrbl index 9a912d0117..f5b07983ac 100644 --- a/collects/handin-server/scribblings/updater.scrbl +++ b/collects/handin-server/scribblings/updater.scrbl @@ -29,6 +29,6 @@ version, you build a new @filepath{.plt} file that contains a new version file, then copy these version and @filepath{.plt} files to your web page, and students will be notified automatically. Note: to get this to work, you need to create your @filepath{.plt} file using -mzc's @DFlag{--replace} flag, so it will be possible to overwrite +mzc's @DFlag{replace} flag, so it will be possible to overwrite existing files. (Also note that there is no way to delete files when a new @filepath{.plt} is installed.)