From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 19 Jan 2004 14:32:08 +0000 (+0000)
Subject: Error message updated.
X-Git-Tag: V_0_5_1_3~20
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=698fffd5d37fbb7fc69faab9da5aa0c5fa247588;p=helm.git

Error message updated.
---

diff --git a/helm/scripts/makeit b/helm/scripts/makeit
index bbd7cfd05..afad01f3c 100755
--- a/helm/scripts/makeit
+++ b/helm/scripts/makeit
@@ -3,7 +3,7 @@
 if test $# != 3; then
 	echo "Usage: makeit <version> <where> <to>"
 	echo
-	echo "       <version> is either V6.2 or V7"
+	echo "       <version> must be V7_mowgli"
 	echo "       <from/to> is either phd or marcello"
 	exit 1
 fi