4 # Prints all the files given as arguments.
5 # Files that will fit on less than a printed page
6 # are concatenated together. Bigger ones are pr'd.
13 set lines=`wc -l $file | sed "s/$file//"`
15 set topr=($topr $file)
17 set tocat=($tocat $file)
22 if ("$topr" != '') pr $topr
24 if ("$tocat" != '') foreach file ($tocat)
25 echo -n "==================== $file ======================"