--- a/Admin/lib/Tools/makedist_cygwin Thu Jan 10 20:41:52 2013 +0100
+++ b/Admin/lib/Tools/makedist_cygwin Thu Jan 10 21:14:01 2013 +0100
@@ -68,3 +68,7 @@
cp -a "$ISABELLE_HOME/Admin/Windows/Cygwin/isabelle/." "$TARGET/isabelle/."
+
+# archive
+
+tar cvzf "${TARGET}.tar.gz" "$TARGET"