#!/bin/csh -f
# Add to first .dvi file argument all the other .dvi file arguments
# via dviconcat

if ($#argv < 2) then
  echo "Usage: dviadd basefilename filename [filename ...]"
  exit 1
endif

set tempfile = /tmp/dviadd.$$

dviconcat -o $tempfile $*
mv $tempfile $1