1.1 --- a/Admin/makebundle	Sun Jan 23 16:29:10 2011 +0100
     1.2 +++ b/Admin/makebundle	Mon Jan 24 15:39:42 2011 +0100
     1.3 @@ -69,10 +69,20 @@
     1.4  tar -C "$TMP" -x -z -f "$HEAPS_ARCHIVE"
     1.5  
     1.6  
     1.7 -if [ "$PLATFORM" = x86-cygwin ]; then
     1.8 -  rm "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
     1.9 -  ln -s ProofGeneral-3.7.1.1 "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
    1.10 -fi
    1.11 +case "$PLATFORM" in
    1.12 +  x86-linux)
    1.13 +    (
    1.14 +      cd "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
    1.15 +      find . -name "*.elc" -exec rm {} ";"
    1.16 +    )
    1.17 +    ;;
    1.18 +  x86-cygwin)
    1.19 +    rm "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
    1.20 +    ln -s ProofGeneral-3.7.1.1 "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
    1.21 +    ;;
    1.22 +  *)
    1.23 +    ;;
    1.24 +esac
    1.25  
    1.26  BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_bundle_${PLATFORM}.tar.gz"
    1.27