#!/bin/sh

RenewFile() {
	cat COPYRIGHT
	echo ""
	echo "static char rcsid[] = \"\$Header\$\" ;"
	echo ""
	echo "/**"
	echo " ** \$Log\$"
	echo " **/"
	echo ""
	tail +$2 $1
}

for i in $*
do
	LINE=`grep -n include $i | head -1 | cut -f1 -d':'`
	echo $i
	RenewFile $i $LINE > tmp.0
	mv -f tmp.0 $i
done
