Admin/makebundle

--- a/Admin/makebundle	Tue Jan 18 21:33:07 2011 +0100
+++ b/Admin/makebundle	Wed Jan 19 15:18:03 2011 +0100
@@ -69,6 +69,11 @@
 tar -C "$TMP" -x -z -f "$HEAPS_ARCHIVE"
 
 
+if [ "$PLATFORM" = x86-cygwin ]; then
+  rm "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
+  ln -s ProofGeneral-3.7.1.1 "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
+fi
+
 BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_bundle_${PLATFORM}.tar.gz"
 
 echo "$(basename "$BUNDLE_ARCHIVE")"