#!/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 if [ "$*"x != "x" ]; then for i in $* do rm -f $from/$i ln -s $to/$i $from/$i echo "$i => $from/$i" done fi exit 0;