#!/bin/csh -f
set file=$1
shift
( echo ".ds Se $file" ; cat Troff.mac ; sed -f Troff.sed $file ) | $* -me
