#!

echo "Removing (deleting) file " $1
rm -f $1

echo "Removing file" $1 "from CVS archive"
cvs remove $1