1.1 --- a/Admin/lib/Tools/makedist_bundle	Thu Dec 05 17:52:12 2013 +0100
     1.2 +++ b/Admin/lib/Tools/makedist_bundle	Thu Dec 05 17:58:03 2013 +0100
     1.3 @@ -261,7 +261,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 @@ -289,7 +289,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"