Initial revision

[helm.git] / helm / scripts / makeit

diff --git a/helm/scripts/makeit b/helm/scripts/makeit
new file mode 100755 (executable)
index 0000000..bbd7cfd
--- /dev/null
+++ b/helm/scripts/makeit
@@ -0,0 +1,11 @@
+#!/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/"