# HG changeset patch
# User wenzelm
# Date 1335267190 -7200
# Node ID f43b8873743d4768dd9a5309eb6aed9c91d6f00e
# Parent  9d7473cfb9ea7a54e8aa96e49564af90666fa16f
augment Isabelle home directory more systematically;

diff -r 9d7473cfb9ea -r f43b8873743d Admin/makebundle
--- a/Admin/makebundle	Tue Apr 24 12:24:52 2012 +0200
+++ b/Admin/makebundle	Tue Apr 24 13:33:10 2012 +0200
@@ -71,15 +71,10 @@
 done
 
 if [ "$PLATFORM" = x86-cygwin ]; then
-  for NAME in Isabelle.exe Cygwin-Terminal.bat
-  do
-    EXE="$ARCHIVE_DIR/contrib/x86-cygwin/$NAME"
-    [ ! -e "$EXE" ] && fail "Missing $NAME"
-    echo "$NAME"
-    cp "$EXE" "$ISABELLE_HOME/"
-    chmod +x "$ISABELLE_HOME/$NAME"
-  done
+  TAR="$ARCHIVE_DIR/contrib/x86-cygwin/Isabelle.tar"
+  [ -e "$TAR" ] || fail "Missing $TAR"
   rm -f "$ISABELLE_HOME/Isabelle"
+  tar -C "$ISABELLE_HOME" -xv -f "$TAR"
 fi