#!/bin/sh
# A simple installer of include files
# (c) 2005 Martin Mares <mj@ucw.cz>

set -e
SRC=$1
DEST=$2
shift 2
while [ -n "$1" ] ; do
	if [ "$SRC/$1" -nt "$DEST/$1" ] ; then
		echo "Copying $SRC/$1 to $DEST/$1"
		mkdir -p $DEST/`dirname $1`
		cp $SRC/$1 $DEST/$1
	fi
	shift
done
