no attempt to build documentation for now -- requires ML_HOME etc. which is not present here;

--- a/Admin/Release/makedist	Wed Aug 29 13:08:51 2012 +0200
+++ b/Admin/Release/makedist	Wed Aug 29 14:29:38 2012 +0200
@@ -150,7 +150,8 @@
 ./Admin/build all || fail "Failed to build distribution"
 
 cp -a src/Doc src/Doc.orig
-./bin/isabelle build_doc -a || fail "Failed to build documentation"
+# FIXME
+# ./bin/isabelle build_doc -a || fail "Failed to build documentation"
 
 if [ -n "$ISABELLE_JEDIT_BUILD_HOME" ]; then
   [ -d "$ISABELLE_JEDIT_BUILD_HOME" ] || fail "Bad jedit_build component directory: \"$ISABELLE_JEDIT_BUILD_HOME\""