1.1 --- a/Admin/lib/Tools/makedist_bundle	Mon Nov 11 21:20:51 2013 +0100
     1.2 +++ b/Admin/lib/Tools/makedist_bundle	Mon Nov 11 21:28:08 2013 +0100
     1.3 @@ -258,7 +258,7 @@
     1.4        (
     1.5          cd "$TMP"
     1.6  
     1.7 -        APP_TEMPLATE="$ISABELLE_HOME/Admin/MacOS/App3"
     1.8 +        APP_TEMPLATE="$ISABELLE_HOME/Admin/MacOS"
     1.9          APP="${ISABELLE_NAME}.app"
    1.10  
    1.11          for NAME in Java MacOS PlugIns Resources
    1.12 @@ -286,7 +286,6 @@
    1.13          done
    1.14  
    1.15          cp -R "$APP_TEMPLATE/Resources/." "$APP/Contents/Resources/."
    1.16 -        cp "$APP_TEMPLATE/../isabelle.icns" "$APP/Contents/Resources/."
    1.17  
    1.18          ln -sf "../Resources/${ISABELLE_NAME}/contrib/jdk/x86_64-darwin" \
    1.19            "$APP/Contents/PlugIns/jdk"