1.1 --- a/Admin/lib/Tools/makedist_bundle	Fri Jul 25 14:16:39 2014 +0200
     1.2 +++ b/Admin/lib/Tools/makedist_bundle	Fri Jul 25 14:47:38 2014 +0200
     1.3 @@ -306,7 +306,7 @@
     1.4          rm -f "${ARCHIVE_DIR}/${ISABELLE_NAME}.dmg"
     1.5  
     1.6          cd dmg
     1.7 -        hdiutil create -srcfolder . -volname "$ISABELLE_NAME" "${ARCHIVE_DIR}/${ISABELLE_NAME}.dmg"
     1.8 +        hdiutil create -srcfolder . -volname Isabelle "${ARCHIVE_DIR}/${ISABELLE_NAME}.dmg"
     1.9        )
    1.10        ;;
    1.11      windows)