#!/bin/sh -e
cp "$1" "$2"
exec darcs add "$2"