# HG changeset patch
# User wenzelm
# Date 1357848841 -3600
# Node ID d02b9918e4d48a80c7bb27833cc82054ecd64df7
# Parent  76967aa4fe84aae705990bad415c8a30cec96b85
tuned;

diff -r 76967aa4fe84 -r d02b9918e4d4 Admin/lib/Tools/makedist_cygwin
--- 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"