#!/bin/csh -f

echo '1,/%\!PS/-1d' >script.tmp
echo '/%%EOF/+1,$d' >>script.tmp
echo w >>script.tmp
echo q >>script.tmp
foreach file ($*)
  if (! -f $file) then
    echo subst: $file not a plain file
  else
    echo editing "$file"
    ed - $file <script.tmp
  endif
end
rm script.tmp