blob: 53a5aad72a967effd72d223aa1573ecbaf1c8492 (
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
|
:: This file belongs to the MFTOEPS package.
::
@echo off
::
:: %1 is a file name WITHOUT extension
::
:: Software used (change if required):
:: MF386.EXE
:: GAWK.EXE or (better) GAWK32.EXE, ver. 3.0.x
:: GFTODVI.EXE
::
mf386 &plain \yeseps:=1; input %1
if errorlevel==1 goto EMERG
:: gawk -f spliteps.awk %1.log
gawk32 -f spliteps.awk %1.log
if exist %1.300 goto NOPSMODE
goto CLEANUP
:NOPSMODE
:: `no_export_level' was used for some reason (error?)...
gftodvi %1.300
if exist %1.300 del %1.300
if exist %1.tfm del %1.tfm
if exist %1.eps del %1.eps
:CLEANUP
:: del %1.log
:EMERG
|