#!/bin/sh
# install: insert correct value for base directory in shell script
# usage: install files
# 20060102 erikt@science.uva.nl

TMPFILE=install.$$
for FILE in $*
do
   sed "s?BASEDIR=.*?BASEDIR=\"`pwd`\"?" < $FILE > $TMPFILE
   rm -f $FILE
   mv $TMPFILE $FILE
   chmod 555 $FILE
done
rm -f $TMPFILE

exit 0
