# HG changeset patch
# User wenzelm
# Date 1295446683 -3600
# Node ID f23ce44fbaec027f22350379833f343e4db79ecd
# Parent  9f99196ebd9f0b14a87011a30879f0f94b3010e5
Cygwin: back to ProofGeneral-3.7.1.1 with XEmacs, since PG 4.x with GNU Emacs 23 is painfully slow;

diff -r 9f99196ebd9f -r f23ce44fbaec 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")"