--- code/trunk/maintain/MakeRelease	2007/03/05 12:36:47	97
+++ code/trunk/maintain/MakeRelease	2007/03/06 12:27:42	99
@@ -89,6 +89,7 @@
   fi
   echo Making $base.html
   ../maintain/132html $toc $base <$file >html/$base.html
+  if [ $? != 0 ] ; then exit 1; fi 
 done
 
 # End of documentation processing