helm/scripts/makeit

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