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