blob: cc04f425b3576867a6d7b9a1f95ff3f453a13e63 (
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
|
#!/bin/bash
#
# $Id: runpic,v 1.5 2007/02/09 09:28:18 frank Exp $
#
#et -x
if test $? = 1
then
echo "WRONG number of args!"
exit 1
fi
# try gpic or pic (on SUSE it is pic)
PIC=`type -a gpic 2> /dev/null | head -1 | awk '{print $3}'`
if test "$PIC" = "" ; then PIC=pic ; fi
F=`basename $1 .pic`
if test -r $F.eps
then
echo $F.eps already made
else
$PIC -t $F.pic > $F.ltx
./runltx $F.ltx
rm $F.ltx
fi
|
