#! /bin/csh -f
#
#	%Z%%M% %I% %E% SMI; from UCB X.X XX/XX/XX
#
set file=$1
shift
( echo ".ds Se $file" ; cat Troff.mac ; sed -f Troff.sed $file ) | $* -me
