--- a/Admin/isatest-check Fri Apr 29 13:11:42 2005 +0200
+++ b/Admin/isatest-check Fri Apr 29 13:12:38 2005 +0200
@@ -24,7 +24,7 @@
HOME=/usr/stud/isatest
# where to find the distribution
-DISTPREFIX=$HOME/isadist
+DISTPREFIX=$HOME/tmp/isadist
# mail program
MAIL=$HOME/bin/pmail