#! /bin/sh
#
# Last modified on Mon May 23 10:54:14 PDT 1994 by kalsow
#

#
#  get-source A B [proj] -- copy the file '/proj/m3/pkg/A' into
#                           the local directory B
#

A="$1" ; shift
B="$1" ; shift

NEWDIR=`dirname $B`

if [ -z "$1" ]; then
  PROJ="/proj/m3/pkg"
else
  PROJ="$1"
fi

M3EXPORT/recmkdir $NEWDIR

echo "get-file $PROJ/$A -> $B"
copy -f $PROJ/$A $B



