#!/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/"