#!/bin/sh
#
# A bit of an ugly shell script used to actually 'link' files.
# Used by 'make links'
#

PATH=$PATH:.:util:../util:../../util
export PATH

from=$1
shift

here=`pwd`
tmp=`dirname $from`
while [ "$tmp"x != "x" -a "$tmp"x != ".x" ]
do
	t=`basename $here`
	here=`dirname $here`
	to="/$t$to"
	tmp=`dirname $tmp`
done
to=..$to

#echo from=$from
#echo to  =$to
#exit 1

if [ "$*"x != "x" ]; then
	for i in $*
	do
		/bin/rm -f $from/$i
		point.sh $to/$i $from/$i
	done
fi
exit 0;