#!/bin/csh -f
# Merge into the file given by $1 all the other files given as arguments.
# That is "merge into sorted order".

if ($#argv < 2) then
  echo "Usage: mergeinto fileout otherfiles...""
  exit 1
endif

sort -mu -o $1 $*