#! /bin/csh -f
# Last modified on Mon Aug 11 17:46:18 1986 by stolfi
#------------------------------------------------------------------------
# Removes all irrelevant routing information from a bunch of messages.
# Assumes the messages are going to be printed and deleted,
# and therefore removes almost all headers that have anything to do
# with routing and message identification, except for the Return-Path and
# Newsgroups.
#------------------------------------------------------------------------
filter-files -h "sed -f /udir/stolfi/bin/trim-headers-for-printing.sed" $*