blob: 7faf2040a22303b6055d30391305541fc8bbe562 (
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
25
26
27
28
29
30
31
32
33
34
35
36
37
|
#!/bin/bash
#
# $Id: runptx,v 1.5 2005/11/28 23:12:15 rahtz Exp $
#
#et -x
export TEXINPUTS=inputs:
MPFILE="FOOBAR"
PARAM="-D600 -mode ljfour"
TEX=tex
F=`basename $1 .ptx`
if test -r $F.eps
then
echo $F.eps already made
else
$TEX $F.ptx
R=`grep "MusiXTeX" $F.log` >& /dev/null
if test $? = 0
then
musixflx $F
$TEX "\\nonstopmode\\input $F.ptx"
fi
dvips -j -E -Ppp $PARAM $F -o $F.eps
# ^ font subsetting
./cleaneps $F.eps
if test ! -s $F.eps
then
rm $F.eps
echo "*************************** eps file $F.eps has zero size"
exit 1
fi
rm -f $F.dvi $F.log $F.mx?
fi
|