echo
echo -----     Napier C-interpreter     -----
echo
echo Copying source to $1/source/int
echo

if [ x$1 = x ]
then
echo destination source+release directory not specified
exit 1
fi

if [ ! -d $1 ]
then
echo cannot find the source+release directory $1
exit 1
fi

if [ ! -d $1/source ]
then
echo making the directory $1/source
mkdir $1/source
fi

if [ ! -d $1/source/display ]
then
echo making the directory $1/source/display
mkdir $1/source/display
fi

set -x

cp -p COPY *Makefile $1/source/display
cp -p *.h $1/source/display
cp -p *.c $1/source/display
cp -p *.icon $1/source/display
chmod 444 $1/source/display/*
chmod 555 $1/source/display/COPY
