#! /bin/csh -f
# Last modified on Thu Aug  7 03:32:35 1986 by stolfi

# Applies a 'sed' script to a set of files
# Usage: sed-files -f <script file> <file>...

if ("$1" != '-f') then
  echo Usage: 'sed-files -f script-file file ...'
  exit(1)
endif
if (-f $2 == 0) then
  echo $2 is not a file\!
  exit(1)
endif
filter-files "sed -f $2" $argv[3-]