# HG changeset patch
# User meillo@marmaro.de
# Date 1275166637 -7200
# Node ID e119cee8d493cffe298f71ea12258ad0f1bf08a1
# Parent  941413084f568262bdfe1210e92ee6c9925c9599
tiny improvement in usage message

diff -r 941413084f56 -r e119cee8d493 misc/gen-dist
--- a/misc/gen-dist	Sat May 29 22:53:42 2010 +0200
+++ b/misc/gen-dist	Sat May 29 22:57:17 2010 +0200
@@ -9,7 +9,7 @@
 # - gnupg
 
 if [ $# -ne 1 -o -e "$1" ] ; then
-	echo "usage: gen-dist DESTINATION" 2>&1
+	echo "usage: gen-dist DEST.tar.gz" 2>&1
 	exit 1
 fi