X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2Fmakeit;h=64553523e67789a47b17043c3ff6c38005cbf619;hb=eec68b7deed5396df14bd251127a96c46a868d06;hp=bbd7cfd05ae757551bb6caa500a9c2cff809df3f;hpb=30ed2d8f648cf069338a9a1fdb07f0a272133042;p=helm.git

diff --git a/helm/scripts/makeit b/helm/scripts/makeit
index bbd7cfd05..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> is either V6.2 or V7"
-	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/"