diff -r ead185e60b8c -r 8b31786fe603 Admin/makebundle
--- a/Admin/makebundle	Sun Apr 22 21:32:35 2012 +0200
+++ b/Admin/makebundle	Sun Apr 22 23:08:53 2012 +0200
@@ -70,6 +70,16 @@
   fi
 done
 
+if [ "$PLATFORM" = x86-cygwin ]; then
+  EXE="$ARCHIVE_DIR/contrib/x86-cygwin/Isabelle.exe"
+  if [ -e "$EXE" ]; then
+    cp "$EXE" "$ISABELLE_HOME/"
+    chmod +x "$ISABELLE_HOME/Isabelle.exe"
+  else
+    fail "Missing $EXE"
+  fi
+fi
+
 
 HEAPS_ARCHIVE="$ARCHIVE_DIR/${ISABELLE_NAME}_heaps_${PLATFORM}.tar.gz"
 [ -f "$HEAPS_ARCHIVE" ] || fail "Bad heaps archive: $HEAPS_ARCHIVE"