#!/bin/sh## A bit of an ugly shell script used to actually 'link' files.# Used by 'make links'#PATH=$PATH:.:util:../util:../../utilexport PATHfrom=$1shifthere=`pwd`tmp=`dirname$from`while["$tmp"x !="x"-a"$tmp"x !=".x"]dot=`basename$here`here=`dirname$here`to="/$t$to"tmp=`dirname$tmp`doneto=..$toif["$*"x !="x"];then for i in$*do