#!/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` prefix='..' while [ `basename $tmp`x != ..x -a `basename $tmp`x != .x ] do prefix=../$prefix tmp=`dirname $tmp` done to='' while [ "$tmp"x != "x" -a "$tmp"x != ".x" ] do t=`basename $here` here=`dirname $here` to="/$t$to" tmp=`dirname $tmp` done to=$prefix$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;