Admin/makedist

     export CVSROOT=sunbroy2:/usr/proj/isabelle-repository/archive
     ;;
   *broy*)
     export CVSROOT=/usr/proj/isabelle-repository/archive
     ;;
-  *.cl.cam.ac.uk)
-    export CVSROOT=sunbroy2.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/archive
+  *)
+    export CVSROOT=sunbroy2.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/archive       
     ;;
 esac
 
-DISTPREFIX=~/tmp/isadist
+DISTPREFIX=${DISTPREFIX:-~/tmp/isadist}
 
 umask 022
 
 TAR=tar
 type -path gtar >/dev/null && TAR=gtar

 echo "### Exporting $DISTNAME ..."
 echo "###"
 
 cd "$DISTBASE"
 
-$EXPORT
+$EXPORT || fail "Export failed!"
 $FIND . -name CVS -print | xargs rm -rf
 $FIND . -name .cvsignore -print | xargs rm -rf
 $FIND . "(" -type d -a -empty ")" -print | xargs rm -rf
 $FIND . "(" -type d -a -empty ")" -print | xargs rm -rf
 $FIND . "(" -type d -a -empty ")" -print | xargs rm -rf

 PDFLATEX=$(type -path pdflatex)
 
 for DOC in $(cat Contents)
 do
   cd "$DOC"
-  make dvi
-  [ -n "$PDFLATEX" ] && make clean pdf
+  make dvi || fail "DVI document for $DOC failed!"
+  ([ -n "$PDFLATEX" ] && make clean pdf) || fail "PDF document for $DOC failed!"
   cd ..
 done
 
 
 # prepare dist dir for release
 
 echo "###"
 echo "### Preparing distribution ..."
 echo "###"
 
-cd "$DISTBASE/$DISTNAME"
+cd "$DISTBASE/$DISTNAME" || fail "Something is wrong: dist directory doesn't exist!"
 
 cp -R Admin/page ..
 cp Distribution/doc/Contents ../page
 cp Distribution/lib/logo/isabelle.gif ../page/main-content
 cp Distribution/lib/logo/isabelle.gif ../page/dist-content

 mv $LOGICS src
 
 mv Distribution/* .
 rmdir Distribution
 
-( cd lib/browser; make; )
+( cd lib/browser; make; ) || fail "Graph browser build failed!"
 
 cp doc/isabelle*.eps lib/logo
 
 
 if [ -n "$UNOFFICIAL" ]; then