#! /bin/sh


root=$0
f=`echo $0 | cut -c1`
if [ $f != '/' ]
then
        wd=`/bin/pwd | sed -e 's;^/tmp_mnt;;' -e 's;^/export;/usr;'`
        root=$wd/`echo $0 | sed 's%^\./%%'`
fi

ROOT=`echo $root | sed 's%/ups/current.csh%%'`

if [ ! -w /usr/local/bin ]
then
	echo '** Warning -- Unable to copy Info to /usr/local/bin **'
	echo '**            No permission to write in /usr/local/bin **'
	exit 0
fi

cp $ROOT/bin/Info /usr/local/bin