:: 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