diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/texmf/scripts/texlive/texconf.tlu | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/Master/texmf/scripts/texlive/texconf.tlu b/Master/texmf/scripts/texlive/texconf.tlu index e1e62baca80..16776dcfb2f 100755 --- a/Master/texmf/scripts/texlive/texconf.tlu +++ b/Master/texmf/scripts/texlive/texconf.tlu @@ -259,13 +259,12 @@ function set_xdvi_papersize(papersize) -- Read the file. local filename if os.type == 'windows' then - texmfmain=kpse.var_value('TEXMFMAIN') - filename = texmfmain.."\\xdvi\\XDvi" - else - kpse.set_program_name('xdvi') - filename=kpse.find_file('XDvi', 'other text files') + return end + kpse.set_program_name('xdvi') + filename=kpse.find_file('XDvi', 'other text files') + -- print ('< '..filename) local infile=assert(io.open(filename, 'r')) local lines={} |