diff options
-rwxr-xr-x | Master/bin/win32/runscript.tlu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/win32/runscript.tlu b/Master/bin/win32/runscript.tlu index 476a43539b9..2ec625c9ed0 100755 --- a/Master/bin/win32/runscript.tlu +++ b/Master/bin/win32/runscript.tlu @@ -794,7 +794,7 @@ elseif progname == 'dviout' then tfmpath = string.gsub(tfmpath, '/', '\\') local texrt = {} for d in string.gmatch(tfmpath, '([^;]+\\fonts)\\tfm[^;]*') do - if (lfs.attributes(d, 'mode') == 'directory') then + if (lfs.attributes(chgstrcp.syscptoutf8(d), 'mode') == 'directory') then table.insert(texrt, d) end end |