# HG changeset patch
# User kleing
# Date 1177646017 -7200
# Node ID e6803064a4697dd3667de1465d9d52167d062b13
# Parent  a7b425bb668cdd734f2b514d0124e969f17d590c
use correct email program for sunbroy2

diff -r a7b425bb668c -r e6803064a469 Admin/isatest/isatest-doc
--- a/Admin/isatest/isatest-doc	Thu Apr 26 16:39:31 2007 +0200
+++ b/Admin/isatest/isatest-doc	Fri Apr 27 05:53:37 2007 +0200
@@ -28,7 +28,7 @@
 ISATOOL=$ISABELLE_DEVEL/bin/isatool
     
 
-MAIL=~/afp/release/admin/mail-attach
+MAIL=$HOME/bin/pmail
 
 TMP=/tmp/isatest-doc.mail.tmp
 while [ -e $TMP ]; do TMP=$TMP.x; done