| 1 | #!/bin/sh |
1 | #!/bin/sh |
| 2 | ## $Id: makePS,v 1.1.1.1 2001-06-14 17:08:16 sam Exp $ |
2 | ## $Id: makePS,v 1.2 2001-06-15 14:29:57 gage Exp $ |
| 3 | |
3 | |
| 4 | PATH=$PATH:/usr/bin |
4 | PATH=$PATH:/usr/local/bin |
|
|
5 | export PATH |
| 5 | |
6 | |
| 6 | umask 022 |
7 | umask 022 |
| 7 | cd $1 |
8 | cd $1 |
| 8 | if |
9 | if |
| 9 | /usr/bin/latex $2.tex >/dev/null 2>/dev/null; |
10 | /usr/local/bin/latex $2.tex >/dev/null 2>/dev/null; |
| 10 | then |
11 | then |
| 11 | /usr/bin/dvips -o $2.ps $2.dvi 2>/dev/null |
12 | /usr/local/bin/dvips -o $2.ps $2.dvi 2>/dev/null |
| 12 | exit 0 |
13 | exit 0 |
| 13 | else |
14 | else |
| 14 | exit 1 |
15 | exit 1 |
| 15 | fi |
16 | fi |
| 16 | |
17 | |
Parent Directory
| 
Revision Log
| 
Patch