use correct email program for sunbroy2
authorkleing
Fri Apr 27 05:53:37 2007 +0200 (2007-04-27)
changeset 22820e6803064a469
parent 22819 a7b425bb668c
child 22821 15b2e7ec1f3b
use correct email program for sunbroy2
Admin/isatest/isatest-doc
     1.1 --- a/Admin/isatest/isatest-doc	Thu Apr 26 16:39:31 2007 +0200
     1.2 +++ b/Admin/isatest/isatest-doc	Fri Apr 27 05:53:37 2007 +0200
     1.3 @@ -28,7 +28,7 @@
     1.4  ISATOOL=$ISABELLE_DEVEL/bin/isatool
     1.5      
     1.6  
     1.7 -MAIL=~/afp/release/admin/mail-attach
     1.8 +MAIL=$HOME/bin/pmail
     1.9  
    1.10  TMP=/tmp/isatest-doc.mail.tmp
    1.11  while [ -e $TMP ]; do TMP=$TMP.x; done