#!/bin/csh
/bin/rm -f catalog
touch catalog
foreach dir (01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16)
  (cd ../data/$dir; head -1 * >>../../stuff/catalog)
end
# ed script: g/<==/j
#            g/^$/d
#            1,$s/<==//
#            1,$s/==>//
#            1,$s/.db//
