#! /bin/csh -f
if (-e .banner) then
	echo "Please Remove file .banner"
	exit
endif
echo "" >! .banner
echo "/* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */" >> .banner
echo "" >> .banner
foreach i (*.pl *.c *.h)
	echo "Copyright $i"
	cp .banner .tmp
	cat $i >> .tmp
	mv .tmp $i
end
rm -f .banner
rm -f .tmp
