/* 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