Admin/makedist

--- a/Admin/makedist	Wed Jun 01 09:46:06 2005 +0200
+++ b/Admin/makedist	Wed Jun 01 10:30:07 2005 +0200
@@ -17,7 +17,7 @@
     export CVSROOT=/usr/proj/isabelle-repository/archive
     ;;
   *)
-    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