merged

--- a/Admin/makedist	Sun Jun 06 18:29:10 2010 +0200
+++ b/Admin/makedist	Sun Jun 06 18:34:53 2010 +0200
@@ -172,10 +172,10 @@
 perl -pi -e "s,some unidentified repository version of Isabelle,$DISTVERSION,g" README
 
 
-# create archives
+# create archive
 
 echo "###"
-echo "### Creating archives ..."
+echo "### Creating archive ..."
 echo "###"
 
 cd "$DISTBASE"
@@ -210,3 +210,5 @@
 
 rm -rf "${DISTNAME}-old"
 
+
+echo "DONE"