#!/bin/sh set -e; for file in $@; do rm $file; cvs rm $file; done