> tron@lyssa:~>cat $FETCH_CMD 
> #!/bin/sh
> FTPDIRS="/ftp/pub/unix /ftp/cdrom/*"
> . /etc/proxy
> 
> for URL
> do
>  FILENAME=`basename $URL`
>  LOCAL=`find $FTPDIRS -type f -name $FILENAME | head -1`
>  if [ "$LOCAL" = "" ]
>  then
>   /usr/bin/ftp $URL
>  else
>   echo "Using local file \"$LOCAL\"."
>   ln -s $LOCAL
>  fi
> done

 Couldn't this "script" be incoporated into the Makefile, so that "make
fetch" would also look into local directories / servers?

-- 
Markus Illenseer