blob: f3ded6f364653c3564fadf26a9f315768f9c60e7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#!/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
|