#! /bin/csh -f
# Last modified on Thu Jun  2 22:26:00 1988 by stolfi
#------------------------------------------------------------------------
# Removes all irrelevant routing information from a bunch of messages.
# Assumes the messages are going to be archived for a long time,
# and therefore removes almost all headers that have anything to do
# with routing, including article numbers
# and newsgroups, leaving only 
#   From: Organization: Reply-To: Date: Message-ID:
#   Subject: Keywords: Summary:
#  
# Usually the Reply-To: field is the same as From:, but sometimes
# it is the only place where the sender's real name appears.
#------------------------------------------------------------------------
filter-files -h "sed -f /udir/stolfi/bin/trim-headers-for-archiving.sed" $*