Admin/makebundle

--- a/Admin/makebundle	Fri Jan 14 17:20:36 2011 +0100
+++ b/Admin/makebundle	Fri Jan 14 18:23:39 2011 +0100
@@ -72,7 +72,7 @@
 BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_bundle_${PLATFORM}.tar.gz"
 
 echo "$(basename "$BUNDLE_ARCHIVE")"
-tar -C "$TMP" -c -z -f "$BUNDLE_ARCHIVE" Isabelle "$ISABELLE_NAME"
+tar -C "$TMP" -c -z -f "$BUNDLE_ARCHIVE" "$ISABELLE_NAME"
 
 
 # clean up