1.1 --- a/Admin/makebundle	Sun Jan 30 18:36:35 2011 +0100
     1.2 +++ b/Admin/makebundle	Sun Jan 30 20:47:26 2011 +0100
     1.3 @@ -69,13 +69,12 @@
     1.4  tar -C "$TMP" -x -z -f "$HEAPS_ARCHIVE"
     1.5  
     1.6  
     1.7 +(
     1.8 +  cd "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
     1.9 +  find . -name "*.elc" -exec rm {} ";"
    1.10 +)
    1.11 +
    1.12  case "$PLATFORM" in
    1.13 -  x86-linux)
    1.14 -    (
    1.15 -      cd "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
    1.16 -      find . -name "*.elc" -exec rm {} ";"
    1.17 -    )
    1.18 -    ;;
    1.19    x86-cygwin)
    1.20      rm "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
    1.21      ln -s ProofGeneral-3.7.1.1 "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"