#!/bin/csh -f
if ($#argv == 0) then
	set line=`line`
	if ($status == 0) $0
	echo "$line"
else
	foreach i ($argv)
		cat $i | $0
	end
endif