#! /bin/sh
#
# Last modified on Mon Jan  3 15:35:51 PST 1994 by kalsow
#

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

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

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

M3EXPORT/recmkdir $B

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



