#!/bin/csh foreach i ( $* ) set f = "../digests.html/$i.html" echo $i '-->' $f echo '' > $f echo '
' >> $f echo '' >> $f
echo 'Send mail to: mgnet@cs.yale.edu for the digests or bakeoff' >> $f
echo ' mgnet-requests@cs.yale.edu for comments or help' >> $f
echo ' ' >> $f
echo 'MGNet: www.mgnet.org' >> $f
echo ' ' >> $f
echo 'Current editor: Craig Douglas douglas-craig@cs.yale.edu' >> $f
echo ' ' >> $f
tail +5 $i >> $f
echo '' >> $f
echo ' ' >> $f
echo '' >> $f
echo '' >> $f
end