#!/bin/sh
# S Rahtz July 1992. version 1, very crude, no error checking
#
# merge two dvi files together. at present, you have to say how many
# pages you want taken from each.
# Usage: dvimerge file1 file2 nstart nend
# eg 
#  dvimerge file1.dvi file2.dvi 1 10
# will create a new file called `merged.dvi' which contains page 1
# from file1 followed by page 1 from file2, then page 2 and so on up to 
# page 10
#
:>last.dvi
EACH=temp$$
for i in `range $3 to $4`
do
 dvidvi -f $i -l $i $1 $EACH-$i-a.dvi
 dvidvi -f $i -l $i $2 $EACH-$i-b.dvi
 dviconcat -o merged.dvi last.dvi $EACH-$i-a.dvi $EACH-$i-b.dvi
 mv merged.dvi last.dvi
 rm $EACH-$i-a.dvi $EACH-$i-b.dvi
 echo done page $i
done
mv last.dvi merged.dvi