From 0ea1b9854816a16a610455d59e7ef66d42ffc75d Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 16 May 2006 19:35:23 +0000 Subject: [PATCH] note about creating a .plt for auto-updating svn: r2954 --- collects/handin-server/doc.txt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/handin-server/doc.txt b/collects/handin-server/doc.txt index d6d5b636db..6d2080fa9b 100644 --- a/collects/handin-server/doc.txt +++ b/collects/handin-server/doc.txt @@ -1017,4 +1017,7 @@ bigger number, it will offer the students to download and install the new version. So, every time you want to distribute a new version, you build a new .plt file that contains a new version file, then copy these version and .plt files to your web page, and students will be -notified automatically. +notified automatically. Note: to get this to work, you need to create +your .plt file using mzc's `--replace' flag, so it will be possible to +overwrite existing files. (Also note that there is no way to delete +files when a new .plt is installed.)