# HG changeset patch
# User kleing
# Date 1114863516 -7200
# Node ID d6156cb8dc2ebafd4b96c24b3e0528f290d0449f
# Parent  e30f9161890f1f87004a581e8a4315fbb1bb5189
fixed typo

diff -r e30f9161890f -r d6156cb8dc2e Admin/isatest-doc
--- a/Admin/isatest-doc	Sat Apr 30 14:06:58 2005 +0200
+++ b/Admin/isatest-doc	Sat Apr 30 14:18:36 2005 +0200
@@ -111,7 +111,7 @@
   echo "$(date) $HOSTNAME $PRG: doc test FAILED for ${FAIL}, elapsed time $ELAPSED." >> $MASTERLOG
 
   cat > $TMP <<EOF
-Session(s) ${FAILED} in the documentation test failed (log attached).
+Session(s) ${FAIL} in the documentation test failed (log attached).
 Test ended on: $HOSTNAME, `date`.
 
 Have a nice day,