#! /bin/sh

set -e

mv $1 $1-tmp;
cvs rm $1;
mv $1-tmp $1;
cvs add $1;