# HG changeset patch
# User wenzelm
# Date 1346271513 -7200
# Node ID f781bbe0d91b76daf283b41c2c0756c0d069e04f
# Parent  0febe9e433dd22915073575fcd293d4f4143c9cc
tuned message;

diff -r 0febe9e433dd -r f781bbe0d91b Admin/lib/Tools/makedist
--- a/Admin/lib/Tools/makedist	Wed Aug 29 21:31:45 2012 +0200
+++ b/Admin/lib/Tools/makedist	Wed Aug 29 22:18:33 2012 +0200
@@ -198,7 +198,7 @@
 chmod -R u+w "$DISTNAME"
 chmod -R g=o "$DISTNAME"
 
-echo "$DISTNAME.tar.gz"
+echo "$DISTBASE/$DISTNAME.tar.gz"
 tar -czf "$DISTNAME.tar.gz" "$DISTNAME"