blob: 0687436350483fee2805f057c37303479c2aee33 (
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
38
39
|
#!/bin/bash
#
# $Id: runabc,v 1.6 2006/09/23 18:05:38 frank Exp $
#
#et -x
if test $? = 1
then
echo "WRONG number of args!"
exit 1
fi
F=`basename $1 .abc`
if test -r $F.eps
then
echo $F.eps already made
else
rm -f music.*
abc2mtex -x $F.abc:1
tex music
musixflx music
tex music
dvips -j0 music -E -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 music.*
fi
|