# HG changeset patch
# User wenzelm
# Date 1346243378 -7200
# Node ID b6dd664fa9bc05c3a7a97dab2c719a7a4e2c25a9
# Parent  d1dbc87e3211febc433d21e5d722e7cfaa07f0fa
no attempt to build documentation for now -- requires ML_HOME etc. which is not present here;

diff -r d1dbc87e3211 -r b6dd664fa9bc Admin/Release/makedist
--- 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\""