| changeset 22820 | e6803064a469 |
| parent 22411 | 1956d895a4ed |
| child 27087 | 5ce49b903159 |
--- 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