#!/bin/csh foreach i ( $* ) set f = "../digests.html/$i.html" echo $i '-->' $f echo '' > $f echo '' >> $f echo 'MGNet Digest '$i'' >> $f echo '' >> $f echo ' ' >> $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