/* Driver for Hebrew Texing */
arg files '(' option option2
parse var files file1 file2 .
texfile = file2
if file2 = '' Then texfile = file1
'PRETEX' texfile||'.TEX'
runfile = 'IVRITEX'
if file2 ^= '' then runfile = file1 'IVRITEX'
'TEX' runfile
address command 'RENAME IVRITEX DVI A' texfile '=  ='
address command 'ERASE IVRIFILE AUX'
if option = 'PRINT' Then 'TEXPRT' texfile  option2
Exit