#! /bin/csh -f

#
#	Prints all the files given as arguments.
#	Files that will fit on less than a printed page
#	are concatenated together.  Bigger ones are pr'd.
#


set tocat='' topr=''

foreach file ($*)
	set lines=`wc -l $file | sed "s/$file//"`
	if ($lines > 40) then
		set topr=($topr $file)
	else
		set tocat=($tocat $file)
	endif
end


if ("$topr" != '') pr $topr

if ("$tocat" != '') foreach file ($tocat)
	echo -n "==================== $file ======================"
	cat $file
end

exit 0