#!/bin/sh
#
# copies file $1 to file $2
#
cp $2 $3
echo $1 >> $3
###############################################################################
