X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2Fmakeit;h=64553523e67789a47b17043c3ff6c38005cbf619;hb=9f60b3b0f4460aec52ec241037f6c475b421dd15;hp=afad01f3cff825f4eef11e5e2a255cf1c34aad63;hpb=698fffd5d37fbb7fc69faab9da5aa0c5fa247588;p=helm.git

diff --git a/helm/scripts/makeit b/helm/scripts/makeit
index afad01f3c..64553523e 100755
--- a/helm/scripts/makeit
+++ b/helm/scripts/makeit
@@ -1,11 +1,10 @@
 #!/bin/sh
 
-if test $# != 3; then
-	echo "Usage: makeit <version> <where> <to>"
+if test $# != 1; then
+	echo "Usage: makeit <from>"
 	echo
-	echo "       <version> must be V7_mowgli"
-	echo "       <from/to> is either phd or marcello"
+  echo "<from> is the machine we connect from"
 	exit 1
 fi
 	
-sed -e "s/@COQV@/$1/" -e "s/@WHERE@/$2/" -e "s/@FROM@/$3/"
+sed -e "s/@FROM@/$1/"