diff options
-rwxr-xr-x | Master/bin/win32/runscript.tlu | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/bin/win32/runscript.tlu b/Master/bin/win32/runscript.tlu index be85d060db5..b9a0685b399 100755 --- a/Master/bin/win32/runscript.tlu +++ b/Master/bin/win32/runscript.tlu @@ -693,6 +693,9 @@ elseif contains(sys_user_progs, progname) then elseif userprog then argline = ' --user ' .. argline end + -- do not guess input encoding in format creation for ptex + -- and friends since guessing is not complete + os.setenv('GUESS_INPUT_KANJI_ENCODING', '0') elseif progname == 'asy' then os.setenv('ASYMPTOTE_GS', GSEXE) os.setenv('CYGWIN', 'nodosfilewarning') |