--- a/Admin/isatest-check Fri May 06 18:01:44 2005 +0200
+++ b/Admin/isatest-check Sun May 08 22:18:12 2005 +0200
@@ -16,7 +16,7 @@
## global settings
# send mail to:
-MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk skalberg@in.tum.de"
+MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk skalberg@in.tum.de makarius@sketis.net"
ADMIN="berghofe@in.tum.de"
--- a/Admin/isatest-doc Fri May 06 18:01:44 2005 +0200
+++ b/Admin/isatest-doc Sun May 08 22:18:12 2005 +0200
@@ -11,7 +11,7 @@
. ~/.bashrc
## settings
-MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de haftmann@in.tum.de # berghofe@in.tum.de lp15@cam.ac.uk"
+MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de haftmann@in.tum.de berghofe@in.tum.de lp15@cam.ac.uk makarius@sketis.net"
DOCDIR=$HOME/Doc
DISTPREFIX=~/tmp/isadist
--- a/Admin/isatest-makedist Fri May 06 18:01:44 2005 +0200
+++ b/Admin/isatest-makedist Sun May 08 22:18:12 2005 +0200
@@ -12,7 +12,7 @@
HOME=/usr/stud/isatest
## global settings
-MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk skalberg@in.tum.de"
+MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk skalberg@in.tum.de makarius@sketis.net"
TMP=/tmp/isatest-makedist.$$
MAIL=$HOME/bin/pmail