--- a/Admin/Release/build Fri Aug 21 20:47:53 2015 +0200
+++ b/Admin/Release/build Fri Aug 21 20:58:23 2015 +0200
@@ -139,7 +139,7 @@
<body>
<h1>${DISTNAME}</h1>
<ul>
-<li><a href="${DISTNAME}_linux.tar.gz">Linux</a></li>
+<li><a href="${DISTNAME}_app.tar.gz">Linux</a></li>
<li><a href="${DISTNAME}.exe">Windows</a></li>
<li><a href="${DISTNAME}-win64.exe">Windows (64bit)</a></li>
<li><a href="${DISTNAME}.dmg">Mac OS X</a></li>
--- a/Admin/lib/Tools/makedist_bundle Fri Aug 21 20:47:53 2015 +0200
+++ b/Admin/lib/Tools/makedist_bundle Fri Aug 21 20:58:23 2015 +0200
@@ -304,19 +304,15 @@
esac
-# archive
-
-BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_${PLATFORM_FAMILY}.tar.gz"
-
-echo "packaging $(basename "$BUNDLE_ARCHIVE")"
-tar -C "$TMP" -c -z -f "$BUNDLE_ARCHIVE" "$ISABELLE_NAME" || exit 2
-
-
# platform-specific setup (outside archive)
if [ "$ISABELLE_PLATFORM_FAMILY" = linux -a "$PLATFORM_FAMILY" != macos -o "$ISABELLE_PLATFORM_FAMILY" = macos ]
then
case "$PLATFORM_FAM" in
+ linux)
+ echo "application for $PLATFORM_FAMILY"
+ tar -C "$TMP" -c -z -f "${ARCHIVE_DIR}/${ISABELLE_NAME}_app.tar.gz" "$ISABELLE_NAME"
+ ;;
macos)
echo "application for $PLATFORM_FAMILY"
(