#!/bin/sh

if test $# != 3; then
	echo "Usage: makeit <version> <where> <to>"
	echo
	echo "       <version> is either V6.2 or V7"
	echo "       <from/to> is either phd or marcello"
	exit 1
fi
	
sed -e "s/@COQV@/$1/" -e "s/@WHERE@/$2/" -e "s/@FROM@/$3/"