#!/bin/csh -f

set dirabbrevfile = "$1"
set targ = "$2"
set src = "$HOME/ev/`echo $3 | downcase`"

if (-e "$targ" && "$targ" != "$HOME") then
  echo '("^'"$targ"'" . "'"$src"'")' >> $dirabbrevfile
  ln -s $targ $src
endif
